Git Bash doesn’t see my PATH
Got it. As a Windows user, I’m used to type executable names without extensions. In my case, I wanted to execute a file called cup.bat. In a Windows shell, typing cup would be enough. Bash doesn’t work this way, it wants the full name. Typing cup.bat solved the problem. (I wasn’t able to run the file though, since apparently bash … Read more