Merge pull request #2015 from gaelicWizard/plugin/git-subrepo

plugin/git-subrepo: use `$HOME` instead of `~`
pull/2007/head
Noah Gorny 2022-01-07 08:31:49 +02:00 committed by GitHub
commit 682b51c195
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 4 deletions

View File

@ -89,6 +89,7 @@ plugins/available/blesh.plugin.bash
plugins/available/cmd-returned-notify.plugin.bash
plugins/available/direnv.plugin.bash
plugins/available/docker-machine.plugin.bash
plugins/available/git-subrepo.plugin.bash
plugins/available/git.plugin.bash
plugins/available/go.plugin.bash
plugins/available/goenv.plugin.bash

View File

@ -1,6 +1,7 @@
# Load git-subrepo if you are using it, and initialize completions
cite about-plugin
# shellcheck shell=bash
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"
if [[ -s "${GIT_SUBREPO_ROOT:=$HOME/.git-subrepo}/init" ]]; then
# shellcheck disable=SC1091
source "$GIT_SUBREPO_ROOT/init"
fi