Differences

This shows you the differences between two versions of the page.

--- dev:git:proxy [2021/10/06 05:05] – js
+++ dev:git:proxy [2021/10/06 05:09] (current) – js
@@ Line 11: / Line 11: @@
 <code>[http]
-    proxy = http://mydomain\\myusername:mypassword@myproxyserver:8080
+    proxy = http://mydomain\\myusername:mypassword@myproxy.server.com:8080
 </code>
+If you want to restrict the url you want to use this config:
+<code>http]
+[http "https://example.com"]
+	proxy = http://mydomain\\myusername:mypassword@proxy.server.com:port
+</code>
+If there are ssl problems connecting to the git repo - add
+<code>
+[http "https://example.com"]
+	proxy = http://mydomain\\myusername:mypassword@proxy.server.com:port
+        sslVerify = false
+</code>