Merge branch 'master' into wsr_shared

2018-02-07 09:28:28 +01:00 · 2018-02-07 09:28:28 +01:00 · 6da5525973
parent 4a995d1ae2 2a304fdfdf
commit 6da5525973
1 changed files with 1 additions and 1 deletions
--- a/.zshrc
+++ b/.zshrc
@ -44,7 +44,7 @@ pd(){
 	else
 		pushd "$@"
 	fi
-	namedir $(echo $(basename "$PWD" | tr -cd 'A-Za-z0-9_') | sed -e 's/^[0-9]/_&/')
+	namedir $(echo $(basename "$PWD" | tr -cd 'A-Za-z0-9_') | tr 'A-Z' 'a-z' | sed -e 's/^[0-9]/_&/')
        echo "$PWD"
 }