-
Notifications
You must be signed in to change notification settings - Fork 2k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add /nix_tools 0
option to init.bat to prevent adding !GIT_INSTALL_ROOT!\usr\bin to PATH
#1975
Conversation
I'm not sure about this feature. If you don't want *nix tools why not use |
or add whatever path unix tools are conflicting with to the front of the path in your |
or remove the unix tools from the path using youe |
I am using cmder_mini, but cmder still picks up my git for windows installation. I like having the git prompt integration etc, and want 'git' on the path, but having 'sh' anywhere on the path causes problems for me (The presence of sh causes shell scripts to be run instead of .bat files). I'd rather just maintain my own init.bat with that line commented than write a script to edit the PATH afterwards, and I want it to be optional per shell. Git for windows offers 2 options for path integration when you install, with and without the unix tools, I assume because they know it can be a problem (not just one that affects me). |
I understand. I am working on a switch to FWIW you can do this today with existing conditional call features in Cmder and
|
@patstew A clarification. I just want to make sure your change works with mine before merging. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
See inline comments to allow sharing a single arg to modify this behavior. I will then merge and add my changes to allow preference of the *nix tools over windows tools.
…!\usr\bin to PATH
👍 LGTM - Thanks for the changes. |
@Stanzilla - You want to look. I tested it and it works. |
LGTM! |
/nix_tools 0
option to init.bat to prevent adding !GIT_INSTALL_ROOT!\usr\bin to PATH
Adding all the unix tools to the path prevents some programs (Vivado) from working for me.