blob: 43855e6e1ee1d066b30969a2b6a8a3eb3d959019 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/bin/bash
if [ -z "$WMII_NAMESPACE" ]; then
export WMII_NAMESPACE="`wmiir namespace`"
fi
if [ -z "$WMII_DIR" ]; then
export WMII_DIR="$HOME/n/wmii"
fi
. "$HOME/.wmii/util.sh"
hist="`conffile history`"
progsfile=$WMII_NAMESPACE/.proglist
. "$HOME/.wmii/config.sh"
|
