+Config_System() {
+ if [ "$EUID" = "0" -a -z "$I_local" ]; then
+ Msg "Starting system configuration:\n"
+ Msg " - bash shell:\n"
+ if [ -e /etc/bash.bashrc ]; then
+ Copy_File sys/bashrc /etc/bash.bashrc root:0 644
+ else
+ Copy_File sys/bashrc /etc/bashrc root:0 644
+ fi
+ Copy_File sys/profile /etc/profile root:0 644
+ else
+ Msg "Not running with root privileges - system configuration SKIPPED.\n"
+ grep "alex@barton.de" /etc/profile >/dev/null 2>&1
+ if [ $? -ne 0 -o -n "$I_local" -o -d $HOME/.etc ]; then
+ Msg "Installing system files to $HOME/.etc/ ...\n"
+ mkdir -p "$HOME/.etc"
+ Msg " - bash shell:\n"
+ 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.\n"
+ fi
+ fi
+}