3 # ConfigScripts - install.sh
4 # Written by Alexander Barton <alex@barton.de>. Public Domain.
19 src="$1"; dst="$2"; own="$3"; perm="$4"
21 if [ -e "$dst" ]; then
22 grep "alex@barton.de" "$dst" >/dev/null 2>&1
29 cp "$src" "$dst" || Abort
30 if [ -n "$own" -a "$own" != "$USER" ]; then
31 chown "$own" "$dst" || Abort
33 if [ -n "$perm" ]; then
34 chmod "$perm" "$dst" || Abort
40 if [ "$UID" = "0" ]; then
41 Msg "Starting system configuration:\n"
42 Msg " - bash shell:\n"
43 if [ -e /etc/bash.bashrc ]; then
44 Copy_File sys/bashrc /etc/bash.bashrc root 644
46 Copy_File sys/bashrc /etc/bashrc root 644
48 Copy_File sys/profile /etc/profile root 644
50 Msg "Not running with root privileges - system configuration SKIPPED.\n"
51 grep "alex@barton.de" /etc/profile >/dev/null 2>&1
53 Msg "Installing system files to $HOME/.etc/ ...\n"
55 Copy_File sys/bashrc $HOME/.etc/bashrc "$user" 600
56 Copy_File sys/profile $HOME/.etc/profile "$user" 600
58 Msg "System configuration seems to be modified: not installing locally.\n"
70 Msg "Starting user configuration ($user in $home):\n"
71 touch "$home/.test.$$" >/dev/null 2>&1
73 rm -f "$home/.test.$$"
74 Msg " - bash shell:\n"
75 if [ -e "$home/.profile" ]; then
76 Copy_File user/bash_profile "$home/.profile" "$user" 600
78 Copy_File user/bash_profile "$home/.bash_profile" "$user" 600
80 Copy_File user/bashrc "$home/.bashrc" "$user" 600
81 Copy_File user/bash_logout "$home/.bash_logout" "$user" 600
83 Msg "Can't write to user home directory - user configuration SKIPPED.\n"
88 if [ "$UID" = "0" ]; then
89 user=`grep "^.*:.*:0:" /etc/passwd | head -n 1 | cut -d':' -f1`
90 home=`grep "^.*:.*:0:" /etc/passwd | cut -d':' -f6`
91 Config_User "$user" "$home"
93 Msg "Not running with root privileges - root user configuration SKIPPED.\n"
97 [ -n "$UID" ] || UID=`id -u`
100 Msg "Running $NAME (uid=$UID) ...\n"
102 user=`basename "$HOME"`
105 Config_User "$user" "$HOME"