jhbuild: add shell alias (#3707)

This adds "jhsh" as an alias for "jhbuild shell" to the JHBuild plugin.

jhbuild: add shell alias (#3707)
This adds "jhsh" as an alias for "jhbuild shell" to the JHBuild plugin.
573901dd · Adrien Plazas · GitHub · dbd2f77b · 573901dd
Unverified Commit 573901dd authored Feb 27, 2020 by Adrien Plazas Committed by GitHub Feb 27, 2020
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

jhbuild.plugin.zsh plugins/jhbuild/jhbuild.plugin.zsh +2 -0

No files found.
--- a/plugins/jhbuild/jhbuild.plugin.zsh
+++ b/plugins/jhbuild/jhbuild.plugin.zsh
@@ -23,6 +23,8 @@ alias jhu='jhbuild update'
 alias jhuo='jhbuild updateone'
 # Uninstall
 alias jhun='jhbuild uninstall'
+# Shell
+alias jhsh='jhbuild shell'