diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2020-01-24 17:29:28 +0300 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2020-01-24 17:29:28 +0300 |
commit | 69ab55ff3f34b40a83dca2b4f8394b5fd0f42611 (patch) | |
tree | ad1e12a0f03661ebe5b506b6da1a318b82e8b6db /%HOME%/.local/bin/git-pulll-old | |
parent | .gitconfig: no more external scripts (diff) | |
download | linux-home-69ab55ff3f34b40a83dca2b4f8394b5fd0f42611.tar.gz linux-home-69ab55ff3f34b40a83dca2b4f8394b5fd0f42611.zip |
no more git-* in .local/bin
Good riddance.
Diffstat (limited to '')
-rw-r--r-- | %HOME%/.local/bin/git-pulll-old | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/%HOME%/.local/bin/git-pulll-old b/%HOME%/.local/bin/git-pulll-old deleted file mode 100644 index 79299e5..0000000 --- a/%HOME%/.local/bin/git-pulll-old +++ /dev/null @@ -1,8 +0,0 @@ -#!/usr/bin/env bash - -# This is cool: -# https://medium.com/@porteneuve/mastering-git-submodules-34c65e940407 - -git pull "$@" \ - && git submodule sync --recursive \ - && git submodule update --init --recursive |