--- /dev/null
+#!/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'