chiark / gitweb /
mdw.conf: Central configuration file for common differences.
[profile] / setup
diff --git a/setup b/setup
index 78adb5daa73194a04dde522b07d5fcefeec2edef..1ebf7f1b82283a127d42beaecba39801bf1ed420 100755 (executable)
--- a/setup
+++ b/setup
@@ -127,6 +127,15 @@ for system in $systems; do
 done
 echo "  all done."
 
+### Install global configuration
+echo -n "Installing dotfile configuration:"
+if [ -f $HOME$sub/.mdw.conf ]; then
+  echo " already installed."
+else
+  cp mdw.conf $HOME$sub/.mdw.conf
+  echo " done."
+fi
+
 ### Symlink the various dotfiles into place
 dotfiles=" 
   bash_profile bash_logout bashrc