From 573901dd46d657c4c3d14f6e03a85f1522fb299b Mon Sep 17 00:00:00 2001
From: Adrien Plazas <kekun.plazas@laposte.net>
Date: Thu, 27 Feb 2020 18:45:53 +0100
Subject: [PATCH] jhbuild: add shell alias (#3707)

This adds "jhsh" as an alias for "jhbuild shell" to the JHBuild plugin.
---
 plugins/jhbuild/jhbuild.plugin.zsh | 2 ++
 1 file changed, 2 insertions(+)

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'