diff --git a/dotfiles-old/bin/displaym b/dotfiles-old/bin/displaym index dd5f81b..bd28248 100755 --- a/dotfiles-old/bin/displaym +++ b/dotfiles-old/bin/displaym @@ -1,20 +1,17 @@ #!/bin/sh - set -ex usage() { + set +x printf "\ Usage: - %s start [window manager] -" >>/dev/stderr + %s start [window manager]\n" "$argv0" >>/dev/stderr exit 1 } [ -n "$1" ] || usage -[ -z "$HOME" ] \ - && printf "No \$HOME environment variable found. This is very bad and an issue that is not caused by this script.\n" 1>&2 \ - && exit 1 \ - || true + +# assumption: $HOME contains the path to the user's home directory DISPLAYM_CONFIG="$HOME/.config/displaym"; export DISPLAYM_CONFIG [ -d "$DISPLAYM_CONFIG" ] || mkdir -p "$DISPLAYM_CONFIG"