Test if user home directory is writeable.

[ConfigScripts.git] / install.sh

diff --git a/install.sh b/install.sh
index 2453855bd191972b82d305a8fe10e5e177cff493..1d2fba91c002fefe877a3cb5db07cffdce11eeb8 100755 (executable)
--- a/install.sh
+++ b/install.sh
@@ -47,15 +47,21 @@ else
 fi
 
 user=`basename "$HOME"`
-echo "Starting user configuration ($user in $HOME):"
-echo " - bash shell:"
-if [ -e "$HOME/.profile" ]; then
-       Copy_File user/bash_profile "$HOME/.profile" "$user" 600
+touch "$HOME/.test.$$" >/dev/null 2>&1
+if [ $? -eq 0 ]; then
+       rm -f "$HOME/.test.$$"
+       echo "Starting user configuration ($user in $HOME):"
+       echo " - bash shell:"
+       if [ -e "$HOME/.profile" ]; then
+               Copy_File user/bash_profile "$HOME/.profile" "$user" 600
+       else
+               Copy_File user/bash_profile "$HOME/.bash_profile" "$user" 600
+       fi
+       Copy_File user/bashrc "$HOME/.bashrc" "$user" 600
+       Copy_File user/bash_logout "$HOME/.bash_logout" "$user" 600
 else
-       Copy_File user/bash_profile "$HOME/.bash_profile" "$user" 600
+       echo "Can't write to user home directory - user configuration SKIPPED."
 fi
-Copy_File user/bashrc "$HOME/.bashrc" "$user" 600
-Copy_File user/bash_logout "$HOME/.bash_logout" "$user" 600
 
 echo "$NAME: Done."