I have this proxy defined in my /git/.gitconfig
[http "https://dpl.tdk.com"]
proxy = http://10.0.11.25:8080
but somehow does not appear when I do git config --list
I want to add it manually, but I don't know how to do it, since there is a <username>:<password> that I don't have
git config --global http.proxy http://<username>:<password>@10.0.14.15:8080
.git/configfile"?