573901dd46d657c4c3d14f6e03a85f1522fb299b
- Author
- Adrien Plazas <kekun.plazas@laposte.net>
- Committer
- GitHub <noreply@github.com>
- Date
Message
jhbuild: add shell alias (#3707)
This adds "jhsh" as an alias for "jhbuild shell" to the JHBuild plugin.
Diff
1diff --git a/plugins/jhbuild/jhbuild.plugin.zsh b/plugins/jhbuild/jhbuild.plugin.zsh
2index fed1bc9fc04b25442fff118aee1bc941d2a46e25..05e56039d8c4e1d3a7c7c55d82c0bb4dfc493d6b 100644
3--- a/plugins/jhbuild/jhbuild.plugin.zsh
4+++ b/plugins/jhbuild/jhbuild.plugin.zsh
5@@ -23,6 +23,8 @@ alias jhu='jhbuild update'
6 alias jhuo='jhbuild updateone'
7 # Uninstall
8 alias jhun='jhbuild uninstall'
9+# Shell
10+alias jhsh='jhbuild shell'
11
12
13