4 display=`echo $DISPLAY | sed -e 's/:.*$//' -e 's/\.[^0-9].*$//'`
5 [ "x$display" = x ] && display=$HOST
9 grep '^host='"$display"' ' $HOME/.configs/list
10 [ "x$HOST" = "x$display" ] && grep '^arch='"$ARCH"' ' $HOME/.configs/list
11 grep '^default ' $HOME/.configs/list | sed -e 's/^default //'
13 ` | sed -e 's/^/ /' -e 's/ \([a-z][^ =]*\)=/ '$1'\1=/g'