добавление прокси в git config через командную строку без прокси пользователя / proxy pwd

Question

У меня есть этот прокси, определенный в моем /git/.gitconfig

[http "https://dpl.tdk.com"]
    proxy = http://10.0.11.25:8080

, но как-то не появляется, когда я git config --list

Я хочу добавить его вручную, но я нене знаю, как это сделать, поскольку есть <username>:<password>, которого у меня нет

git config --global http.proxy http://<username>:<password>@10.0.14.15:8080

Answer 1

git config --global http.proxy http://10.0.14.15:8080

Answer 2

Вы близки:

git config --global http."https://dpl.tdk.com".proxy http://<username>:<password>@10.0.14.15:8080

Для <username> и <password> обратитесь к сетевым администраторам.