chiark / gitweb /
Merge old CVS `ian-dotfiles' repo, as a subtree where we can pick bits
[ian-dotfiles.git] / from-cvs / files / _.configs_configure.old
diff --git a/from-cvs/files/_.configs_configure.old b/from-cvs/files/_.configs_configure.old
new file mode 100644 (file)
index 0000000..cb10d3b
--- /dev/null
@@ -0,0 +1,13 @@
+#!/bin/sh
+# Configuration script
+
+display=`echo $DISPLAY | sed -e 's/:.*$//' -e 's/\.[^0-9].*$//'`
+[ "x$display" = x ] && display=$HOST
+
+echo `
+
+grep '^host='"$display"' ' $HOME/.configs/list
+[ "x$HOST" = "x$display" ] && grep '^arch='"$ARCH"' ' $HOME/.configs/list
+grep '^default ' $HOME/.configs/list | sed -e 's/^default //'
+
+` | sed -e 's/^/ /' -e 's/ \([a-z][^   =]*\)=/ '$1'\1=/g'