ubuntu教育网更新源（转）
在终端执行以下命令（第一条是备份现有服务器列表，第二条是使用Gedit编辑，您也可以使用自己喜爱的编辑器编辑。） sudo cp /etc/apt/sources.list /etc/apt/sources.list_backup sudo gedit /etc/apt/sources.list 从以下各服务器列表内容中选择一段替换文件中的所有内容（请根据自己网络环境设置更新服务器，以达到最快的速...
