profile: normalize HOME to use slashes

This commit normalizes the HOME to match the expectation of
Unix programs. All backslashes are converted to slashes. At
least ssh is know to fail to locate its configuration files
if HOME contains backslashes.

Signed-off-by: Steffen Prohaska <prohaska@zib.de>

etc/profile

@@ -32,12 +32,15 @@ if [ -z "$HOME" ]; then
   HOME="$USERPROFILE"
 fi
 
-export PATH="$HOME/bin:$PATH"
-
 if [ ! -d "$HOME" ]; then
   mkdir -p "$HOME"
 fi
 
+# normalize HOME to unix path
+HOME="$(cd "$HOME" ; pwd)"
+
+export PATH="$HOME/bin:$PATH"
+
 export GNUPGHOME=~/.gnupg
 
 if [ "x$HISTFILE" == "x/.bash_history" ]; then