diff options
| author | Luke Shumaker <LukeShu@sbcglobal.net> | 2013-08-14 16:13:01 -0400 |
|---|---|---|
| committer | Luke Shumaker <LukeShu@sbcglobal.net> | 2013-08-14 16:13:01 -0400 |
| commit | 898792c030468ea10507d1609786273aeec38eb8 (patch) | |
| tree | 31ea15305bd9da9bfb43aae13780ea7100c964d2 | |
| parent | 8ec326580795b580dc981c9c220d17888f62762a (diff) | |
wmii: use [[ when possible
| -rw-r--r-- | .config/wmii/include.sh | 4 |
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 |