Merge pull request #182 from gbe/add-ws-alias

Add zsh alias 'ws' to quickly change directory to the workspace
ThePorgs · Jul 5, 2023 · b83d94a · b83d94a
2 parents 8777575 + 6fbe8c0
commit b83d94a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/sources/assets/zsh/aliases b/sources/assets/zsh/aliases
@@ -6,3 +6,4 @@ alias urlencode='python -c "import sys, urllib as ul; print ul.quote_plus(sys.ar
 alias urldecode='python -c "import sys, urllib as ul; print ul.unquote_plus(sys.argv[1])"'
 alias sed-empty-line='sed /^$/d'
 alias http-put-server='python3 /opt/resources/linux/http-put-server.py --bind 0.0.0.0'
+alias ws='cd /workspace'