Change zsh directory names to english

legacy
Simon Bruder 2019-09-08 15:50:54 +00:00
parent 1b40a42c9c
commit 272c42d6e2
No known key found for this signature in database
GPG Key ID: 6F03E0000CC5B62F
1 changed files with 3 additions and 3 deletions

View File

@ -69,7 +69,7 @@ function timer() (
if [ "$?" = 0 ]; then
echo "Press CTRL-C to stop the alarm…" >&2
echo -en "\a" # highlight window
paplay ~/Dokumente/sound/ringtones/Bergentrückung.wav
paplay ~/Documents/sound/ringtones/Bergentrückung.wav
else
echo "The sleep command failed. Please check the options." >&2
return 3
@ -86,7 +86,7 @@ function wp() (
feh --bg-fill /usr/share/wallpapers/wallpaper.jpg
fi
if [ "$1" = "rand" ]; then
base="$HOME/Bilder/wallpaper"
base="$HOME/Pictures/wallpaper"
rand=$(shuf -n1 -e $base/$2/*)
[ -z "$rand" ] || feh --bg-fill "$rand"
fi
@ -162,7 +162,7 @@ alias rls="/bin/ls --color=auto"
alias line="chromium --user-data-dir=$HOME/.line --app=chrome-extension://ophjlpahpchlmihnnnihgmmeilfjmjjc/index.html"
## Environment variables
export HVSC_BASE="$HOME/Dokumente/sound/HVSC/"
export HVSC_BASE="$HOME/Documents/sound/HVSC/"
export _JAVA_OPTIONS="-Dawt.useSystemAAFontSettings=on" # force antialiasing in java
## include docker functions