Msg "Running $NAME (uid=$UID) ..."
+user=`basename "$HOME"`
+
if [ "$UID" = "0" ]; then
Msg "Starting system configuration:"
Msg " - bash shell:"
Copy_File sys/profile /etc/profile root 644
else
Msg "Not running with root privileges - system configuration SKIPPED."
+ grep "alex@barton.de" /etc/profile >/dev/null 2>&1
+ if [ $? -ne 0 ]; then
+ Msg "Installing system files to $HOME/.etc/ ..."
+ mkdir -p "$HOME/.etc"
+ Copy_File sys/bashrc $HOME/.etc/bashrc "$user" 600
+ Copy_File sys/profile $HOME/.etc/profile "$user" 600
+ else
+ Msg "System configuration seems to be modified: not installing locally."
+ fi
fi
-user=`basename "$HOME"`
touch "$HOME/.test.$$" >/dev/null 2>&1
if [ $? -eq 0 ]; then
rm -f "$HOME/.test.$$"