fix old issues
This commit is contained in:
parent
767f3fb5f2
commit
99e795d091
@ -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"
|
||||
|
Loading…
Reference in New Issue
Block a user