summaryrefslogtreecommitdiff
path: root/.config/wmii
diff options
context:
space:
mode:
authorLuke Shumaker <LukeShu@sbcglobal.net>2013-08-14 16:13:01 -0400
committerLuke Shumaker <LukeShu@sbcglobal.net>2013-08-14 16:13:01 -0400
commit898792c030468ea10507d1609786273aeec38eb8 (patch)
tree31ea15305bd9da9bfb43aae13780ea7100c964d2 /.config/wmii
parent8ec326580795b580dc981c9c220d17888f62762a (diff)
wmii: use [[ when possible
Diffstat (limited to '.config/wmii')
-rw-r--r--.config/wmii/include.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/.config/wmii/include.sh b/.config/wmii/include.sh
index 0d639a2..38551aa 100644
--- a/.config/wmii/include.sh
+++ b/.config/wmii/include.sh
@@ -1,9 +1,9 @@
#!/bin/bash
-if [ -z "$WMII_NAMESPACE" ]; then
+if [[ -z "$WMII_NAMESPACE" ]]; then
export WMII_NAMESPACE="`wmiir namespace`"
fi
-if [ -z "$WMII_DIR" ]; then
+if [[ -z "$WMII_DIR" ]]; then
export WMII_DIR="$HOME/n/wmii"
fi