Merge pull request #90 from dokku/skip-non-git

Ignore plugins that do not have a .git directory
dokku · May 19, 2022 · 188b4bf · 188b4bf
2 parents a5092a2 + 6b9db08
commit 188b4bf
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 5 deletions.
diff --git a/bashenv/plugn.bash b/bashenv/plugn.bash
@@ -49,6 +49,7 @@ update() {
 	declare plugin="$1" committish="$2"
 	[[ ! -d "$PLUGIN_PATH/available/$plugin" ]] && echo "Plugin ($plugin) not installed" && exit 1
 	pushd "$PLUGIN_PATH/available/$plugin" &>/dev/null
+	[[ ! -d ".git" ]] && echo "Plugin ($plugin) not managed by git" && exit 0
 	[[ -z "$committish" ]] && [[ ! $(git symbolic-ref HEAD) ]] && echo "Plugin pinned to $(< ./.plugin_committish)" && exit 0
 	git checkout master &> /dev/null
 	git pull &> /dev/null

diff --git a/bindata.go b/bindata.go