使用用户名和密码和代理服务器设置代理？

Question

IE 代理设置对话框如下所示：

通过一些应用程序（例如 npm），我必须使用以下模式（使用它们特定的 api 或命令行工具）设置代理详细信息：

http://username:[email protected]:80

IE 是否以相同的方式接受这一点？

附言：我认为这不是 IE 的特定代理设置。我们通常从控制面板进入该对话框。因此这在某种程度上是一个系统范围的设置...