From f0a5b0923cf807520e8de9f9a210a21adbc5c60a Mon Sep 17 00:00:00 2001
From: DustVoice <info@dustvoice.de>
Date: Tue, 20 Sep 2022 15:13:30 +0200
Subject: [PATCH] Make git work through ldiproxy

---
 .config/fish/functions/git-proxy.fish | 3 +++
 .config/fish/functions/pgit.fish      | 3 +++
 2 files changed, 6 insertions(+)
 create mode 100644 .config/fish/functions/git-proxy.fish
 create mode 100644 .config/fish/functions/pgit.fish

diff --git a/.config/fish/functions/git-proxy.fish b/.config/fish/functions/git-proxy.fish
new file mode 100644
index 00000000..e7c89414
--- /dev/null
+++ b/.config/fish/functions/git-proxy.fish
@@ -0,0 +1,3 @@
+function git-proxy --wraps='git' --description 'Use git through ldiproxy'
+    GIT_SSH_COMMAND='ssh -o "ProxyCommand=nc -X connect -x ldiproxy.lsjv.rlp.de:8080 %h %p"' git $argv;
+end
diff --git a/.config/fish/functions/pgit.fish b/.config/fish/functions/pgit.fish
new file mode 100644
index 00000000..38ec652e
--- /dev/null
+++ b/.config/fish/functions/pgit.fish
@@ -0,0 +1,3 @@
+function pgit --wraps='git-proxy' --description 'alias git-proxy'
+    git-proxy $argv;
+end