欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
从头安装自己的Ubuntu
算起来,自己也用了2年的Linux了。从最开始的RH、Fedora、到Mandriva,Hiweed,再到现在使用的Ubuntu。发现Linux是一个非常不错的操作系统。当初果断放弃Windows是正确的。 当然最为一个新手,还是使用默认安装来学习系统的功能于特点。但是随着使用时间慢慢增加,对系统也有了一些不满意的地方。比如Ubuntu(以我使用的7.04版本为例,下同)默认的Gnome实在太缓慢了(实际不是那么缓慢,但是对于我来说很多效果是多余的,那种速度我不能接收)。由于以前试用过Knoppix,对KDE的速度也是有一定的了解。想想换个轻量级的桌面,从Xubuntu安装,发现XFCE速度还是不错的。但是最终还是不能满足我。主要是自定义不是觉得很满意。在LinuxToy上看到有Fluxbox+ubuntu的发行版,自己安装了fluxbox试试,发现还真是不错。抱着看看自己Linux水平的想法,决定最小化安装以后自己配置自己的系统。 我的本本是二手的HP NC6000,迅驰平台,PM1.2G,512M内存,40G硬盘,独立ATI显卡,其他具体的配置都可以在网上Google到。总体来说这款笔记本对Linux的支持是不错的,除了那个SD卡读卡器(Google了好久,发现很多国外的Linuxer也没有解决读卡器的问题)。
我使用Xubuntu Alternative版本启动,选择“Install a command-line system”。这里都没有什么问题,不过记得在选择语言的时候选择英语,要不后面命令行会很麻烦。
进入新安装好的系统,首先修改源,我自己使用的cn99的源,速度不错。
<math>sudo vim /etc/apt/sources.list</math>
保存以后使用
sudo apt-get update
sudo apt-get dist-upgrade
更新系统