diff options
| -rwxr-xr-x | util/gitconfig/gitconfig.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/util/gitconfig/gitconfig.sh b/util/gitconfig/gitconfig.sh index 105bffc901..08451c177f 100755 --- a/util/gitconfig/gitconfig.sh +++ b/util/gitconfig/gitconfig.sh @@ -56,9 +56,8 @@ git config remote.origin.push HEAD:refs/for/master git config alias.sup "!git submodule update --remote --rebase && \ git submodule update --init --checkout" -git config alias.sup-destroy "!git submodule deinit --force \ -\"\$(git rev-parse --show-toplevel)\"; \ -git submodule init && git submodule update --checkout" +git config alias.sup-destroy "!git submodule deinit --all --force; \ +git submodule update --init --checkout" (git config --includes user.name >/dev/null && \ git config --includes user.email >/dev/null) || \ |