Merge pull request #511 from jawshooah/git-subrepo

Add git-subrepo plugin
2015-06-18 17:57:27 +02:00 · 2015-06-18 17:57:27 +02:00 · 5e61b73a87
parent 48f5e85776 51872d7bee
commit 5e61b73a87
1 changed files with 6 additions and 0 deletions
--- a/plugins/available/git-subrepo.plugin.bash
+++ 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"