@knoppix95 I find this post to be extremely case insensitive.
@knoppix95 then it still doesn't work because you're not in the home directory 💀
@knoppix95 what makes no sense is Linux bash is case sensitive but git is not (try to rename a directory between upper and lowercase then git pull)