Ubuntu的apt-getapt命令如何使用代理服务器

一般网上的说法大致是这样的：

目前在Ubuntu 18.04系统下，经实践检验似乎方法一并不起作用，而方法二经验证有效，并且可以直接在命令行中使用参数而无需修改配置文件，从而达到临时使用代理服务器的作用。命令行示例如下：

sudo apt -o Acquire::http::proxy="http://192.168.100.101:1080/" install cuda-10-1

留此供同好查询。

在ubuntu桌面上点击【系统设置】

在【系统设置】对话框，打开【网络】

在【网络】对话框中，点击【网络代理】

代理【方法】选手动；【HTTP代理】输入你的代理服务器IP以及端口。然后【应用到整个系统】

在ubuntu桌面上点击【FIREFOX浏览器】

依次打开【编辑】-【首选项】

在【firefox首选项】对话框中，依次点击【高级】-【网络】-【设置】

在【连接设置】对话框中，选择【使用系统代理设置】，然后确定即可上网了

---