diff options
| author | Gianluca Recchia <gianluca.recchia97@gmail.com> | 2018-12-30 03:10:49 +0100 |
|---|---|---|
| committer | Gianluca Recchia <gianluca.recchia97@gmail.com> | 2019-01-29 04:11:02 +0100 |
| commit | 308b046875f745abb87b3ef9f0382029fe37b452 (patch) | |
| tree | 7a6413c9d688b2b8d0837465caf335452eeb2c97 /themes/emotty.zsh-theme | |
| parent | b9670d04092a461ae1db41080263b5a82bc1f958 (diff) | |
| download | zsh-308b046875f745abb87b3ef9f0382029fe37b452.tar.gz zsh-308b046875f745abb87b3ef9f0382029fe37b452.tar.bz2 zsh-308b046875f745abb87b3ef9f0382029fe37b452.zip | |
Use stash 'push' or 'save' depending on Git version
A utility function now parses the output of git --version and set the
alias for git stash to 'git stash push' iff the current version of Git
is greater than 2.13; it falls back to 'git stash save' otherwise.
Diffstat (limited to 'themes/emotty.zsh-theme')
0 files changed, 0 insertions, 0 deletions