From 51872d7beed5a0cbb73665a6a6651a7d6b332a06 Mon Sep 17 00:00:00 2001 From: Josh Hagins Date: Thu, 18 Jun 2015 11:51:51 -0400 Subject: [PATCH] Add git-subrepo plugin --- plugins/available/git-subrepo.plugin.bash | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 plugins/available/git-subrepo.plugin.bash diff --git a/plugins/available/git-subrepo.plugin.bash b/plugins/available/git-subrepo.plugin.bash new file mode 100644 index 00000000..085a69b4 --- /dev/null +++ b/plugins/available/git-subrepo.plugin.bash @@ -0,0 +1,6 @@ +# Load git-subrepo if you are using it, and initialize completions + +cite about-plugin +about-plugin 'load git-subrepo if you are using it, and initialize completions' + +[[ -e "${GIT_SUBREPO_ROOT:=~/.git-subrepo}/init" ]] && source "$GIT_SUBREPO_ROOT/init"