blob: 788e2af9df7b895894a2ce54dfa77669474e4d6b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/hint/bash
if [[ -z "$XDG_RUNTIME_DIR" ]]; then
printf "XDG_RUNTIME_DIR isn't set\n" >&2
exit 6
fi
if [[ -z "$WMII_NAMESPACE" ]]; then
export WMII_NAMESPACE="$(wmiir namespace)"
fi
if [[ -z "$WMII_DIR" ]]; then
export WMII_DIR="${XDG_RUNTIME_DIR}/wmii${DISPLAY}"
fi
. workarounds.sh
. util.sh
. config.sh
|
