diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2018-05-14 16:38:23 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2018-05-14 16:39:21 +0300 |
| commit | da8396f007818b647665510d92f1b1e0b8340015 (patch) | |
| tree | 07bf45749048594c9c928804700e880cc2c1198a /%HOME% | |
| parent | .bashrc: add a comment to the sudo alias (diff) | |
| download | linux-home-da8396f007818b647665510d92f1b1e0b8340015.tar.gz linux-home-da8396f007818b647665510d92f1b1e0b8340015.zip | |
.gitconfig: add submodule-related settings
This is cool:
https://medium.com/@porteneuve/mastering-git-submodules-34c65e940407
Diffstat (limited to '%HOME%')
| -rw-r--r-- | %HOME%/.gitconfig | 4 | ||||
| -rwxr-xr-x | %HOME%/.local/bin/git-pulll | 8 |
2 files changed, 12 insertions, 0 deletions
diff --git a/%HOME%/.gitconfig b/%HOME%/.gitconfig index 720cf1d..ae90746 100644 --- a/%HOME%/.gitconfig +++ b/%HOME%/.gitconfig @@ -38,3 +38,7 @@ process = git-lfs filter-process required = true clean = git-lfs clean -- %f +[diff] + submodule = log +[status] + submoduleSummary = true diff --git a/%HOME%/.local/bin/git-pulll b/%HOME%/.local/bin/git-pulll new file mode 100755 index 0000000..79299e5 --- /dev/null +++ b/%HOME%/.local/bin/git-pulll @@ -0,0 +1,8 @@ +#!/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 |