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 couldn't understand its contents)
One more reason to switch to posh-git..
Thanks @Tom for pointing me to the right direction.
与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…