diff options
author | Luke Shumaker <shumakl@purdue.edu> | 2015-09-24 15:56:22 -0400 |
---|---|---|
committer | Luke Shumaker <shumakl@purdue.edu> | 2015-09-24 15:56:22 -0400 |
commit | 1f657262cae273a20c104465697aa283ed77196b (patch) | |
tree | eee5182c976b939d8b22d13aaeb7e333bfb18c73 /.config/wmii-hg/include.sh | |
parent | 4d6eed98970b4241f95b70309926e46040ce1956 (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)" |