diff options
| author | Adrien Plazas <kekun.plazas@laposte.net> | 2020-02-27 18:45:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-27 18:45:53 +0100 |
| commit | 573901dd46d657c4c3d14f6e03a85f1522fb299b (patch) | |
| tree | 8709df8e38672515b31726f48db44fbc6a40214c | |
| parent | dbd2f77bd9c13f017550ee6dae37ff95a2c3d183 (diff) | |
| download | zsh-573901dd46d657c4c3d14f6e03a85f1522fb299b.tar.gz zsh-573901dd46d657c4c3d14f6e03a85f1522fb299b.tar.bz2 zsh-573901dd46d657c4c3d14f6e03a85f1522fb299b.zip | |
jhbuild: add shell alias (#3707)
This adds "jhsh" as an alias for "jhbuild shell" to the JHBuild plugin.
| -rw-r--r-- | plugins/jhbuild/jhbuild.plugin.zsh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/plugins/jhbuild/jhbuild.plugin.zsh b/plugins/jhbuild/jhbuild.plugin.zsh index fed1bc9fc..05e56039d 100644 --- 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' |