hanugm Asked: 2018-03-10 16:28:40 +0800 CST 在哪里更改代理 0 我通常使用代理来上网。说代理是 xxx.xx.xx 但如果代理关闭,我选择无并应用于系统范围,如下所示 也选择无后,如果我检查echo "$http_proxy"或echo "$https_proxy"。输出是我的旧代理地址xxx.xx.xx。 我在/etc/environment和.bashrc中检查了任何代理导出语句,但没有。为什么代理仍然有效? 我必须在哪里更改,以便系统不会考虑我通常使用的代理? proxy
hanugm Asked: 2018-03-09 18:08:53 +0800 CST rosdep 更新时出错 1 我在 Ubuntu 16.04 中执行了以下命令 罗斯德更新 我得到的错误如下: 互联网工作正常,错误链接也处于工作状态。 ros
hanugm Asked: 2018-01-16 12:33:34 +0800 CST 从命令行格式化ubuntu分区而不重新安装 -1 我在 Linux mint 18 旁边安装了 Ubuntu 16.04。 我安装了很多软件,更改了路径变量以及许多其他让我的 Ubuntu 变得混乱的事情。 我需要像以前一样恢复 Ubuntu。所以,我想格式化 Ubuntu 分区以使其再次成为新的(安装后作为新的操作系统)。如何在不重新安装操作系统的情况下通过终端或其他方式进行操作? format