-# p needs to go first so .ssh link is created, then config link inside it
-for dir in {/a/c,/p/c}{,/machine_specific/$HOSTNAME}; do
- common-file-setup $dir
-done
+case $USER in
+ ian)
+ # p needs to go first so .ssh link is created, then config link inside it
+ for dir in {/a/c,/p/c}{,/machine_specific/$HOSTNAME}; do
+ common-file-setup $dir
+ done
+ sudo -u traci "$BASH_SOURCE"
+ ;;
+ traci)
+ for dir in /a/c{,/machine_specific/$HOSTNAME}; do
+ common-file-setup $dir
+ done
+ ;;
+ *)
+ echo "$0: error: run as ian or traci"
+ exit 1
+ ;;
+esac