diff options
author | Karel Kočí <cynerd@email.cz> | 2022-09-18 10:57:46 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2022-09-18 10:57:46 +0200 |
commit | 9592b31fa2ce1201d57bb3cb3a807846ca288354 (patch) | |
tree | 97d125d49fc7cc686c9ac259be4bbddec6eba512 | |
parent | 5cf55617aa4e51401743ff8a8b5d86ab10e136cb (diff) | |
download | shellrc-9592b31fa2ce1201d57bb3cb3a807846ca288354.tar.gz shellrc-9592b31fa2ce1201d57bb3cb3a807846ca288354.tar.bz2 shellrc-9592b31fa2ce1201d57bb3cb3a807846ca288354.zip |
shellrc.d/git: add sgit
-rw-r--r-- | shellrc.d/git | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/shellrc.d/git b/shellrc.d/git index 7c34846..2b2b441 100644 --- a/shellrc.d/git +++ b/shellrc.d/git @@ -52,3 +52,8 @@ gitbnew() { git branch "$1" HEAD gitbcheckout "$1" } + +# Git that uses SOCKS on my favorite port +sgit() { + ALL_PROXY=socks5h://localhost:8123 git "$@" +} |