diff options
author | Luke Shumaker <lukeshu@sbcglobal.net> | 2015-10-04 15:04:21 -0400 |
---|---|---|
committer | Luke Shumaker <lukeshu@sbcglobal.net> | 2015-10-04 15:04:21 -0400 |
commit | 1cdc7055122eae4a260b0f6f5aaa5522af145e43 (patch) | |
tree | c72729c9fc35af316c507893bb99762cb44355e6 /.config/wmii-hg/include.sh | |
parent | 9abaebb597d396a24c51f7c7c03e4145963f6bb1 (diff) |
Be more careful about what happens when XDG_RUNTIME_DIR isn't set.
Diffstat (limited to '.config/wmii-hg/include.sh')
-rw-r--r-- | .config/wmii-hg/include.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.config/wmii-hg/include.sh b/.config/wmii-hg/include.sh index 4e86276..f8c4e0d 100644 --- a/.config/wmii-hg/include.sh +++ b/.config/wmii-hg/include.sh @@ -1,4 +1,8 @@ #!/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)" |