On Monday, August 6, 2012 7:28:53 PM UTC+2, coccinelle wrote:
> I don't understand much what is going on here, but I tried to replace 
> with $USERPROFILE. This didn't help.

Did you restart Git Bash after making this change?

You could also try setting the environment variable "HOME" to point at your 
home directory. 

You received this message because you are subscribed to the Google Groups "Git 
for human beings" group.
To view this discussion on the web visit 
To post to this group, send email to git-users@googlegroups.com.
To unsubscribe from this group, send email to 
For more options, visit this group at 

Reply via email to