HTTPプロキシーを通したhttpsなGitリポジトリーへのアクセス方法

どうもいつも忘れがちなので書いておく。


$ cat ~/.gitconfig
[http]
 proxy = http://USERNAME:PASSWORD@10.1.1.1:8080

Windows To GoがWindows 10 2004でなくなってしまった

Microsoft Windows 10をMay 2020 (2004)にアップデーしたら、Windows To Goがコントロールパネルになくなってしまった。 廃止されてしまったらしい。 BIOSを更新するために使っていたので不便になってしまうが、仕方がない。 ...