欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
打造自己的Debian
以前自己一直都是使用的Ubuntu,但是总觉得她还是有些臃肿了,很多不需要的东西也一并装上了。自己对于Ubuntu还算一知半解,看到很多人使用debian,所以自己打算也体验一下。(以下过程都在VirtualBox中安装)
目录 |
安装基本系统
从光盘启动(我使用的是netinst的光盘)以后在debian界面中直接回车开始安装。在语言选择中选择英文和区域(这里并不重要,我们进入系统以后再按照自己的需要来调整),然后选择相应的键盘排列方式。设定电脑的网络名(默认为debian),如果没有或者不知道域名就直接跳过。安排好自己的硬盘分区后,随便选择时区(因为开始我们在语言和地区中选择的美国,所以现在只能选择美国的时区,进入系统以后我们自己修改)。在设定好root密码以及新用户的全名,用户名和密码后,就开始安装基本系统(base system)了。
然后在“configure the package manager”中选择“NO”,在“Software selection”中全部不选。这样我们就安装好了一个最小的基本系统。其他的东西就我们自己安装就可以了。“Install the GRUB boot loader on a hard disk”中选“Yes”。在最后提示安装完成的时候回车就可以了,收工。
整个过程轻松愉快,想到自己以前使用windows,那个安装可费劲了。
基本配置
apt配置
进入系统以后先换到root用户准备后面的配置工作,首先修改软件源,#nano /etc/apt/source.list如果是电信用户,可以选择cn99的源,将下面的内容替换默认的sources.list:
deb http://debian.cn99.com/debian etch main contrib non-free
如果是网通用户,可以选择台湾的源:
deb http://debian.nctu.edu.tw/debian etch main contrib non-free
保存以后#apt-get update,#apt-get dist-upgrade来升级系统。由于升级了内核,所以我们还是重启一下:#reboot。
调整时间
现在我们要更改我们的时区:#tzselect,然后根据提示选择。选好以后,#cp /usr/share/zoneinfo/Asia/Hong_kong /etc/localtime,然后#ntpdate cn.pool.ntp.org来同步时间(通过#apt-get install ntpdate来安装ntpdate)。
我们也可以修改/etc/default/ntpdate使系统每次启动的时候同步时间,当然也可以像我这样使用crontab来更新(这样更加灵活)。#crontab -e(注意在root下使用)。添加下面这行:
0 0-23/2 * * * ntpdate cn.pool.ntp.org
这样每个偶数正点就会自动同步时间。
安装输入法
Linux下的中文输入法我推荐fcitx,#apt-get install fcitx。当然scim也是不错的选择。
图形化界面
首先当然是安装x和登录管理#apt-get install x-window-system-core
其他
前面我们都是在root下操作的,但是我们平时不可能为了执行一条指令来回切换用户,这样太麻烦了。安装sudo和gksu来解决:#apt-get install sudo gksu。
另外,我们今后的软件可能不会都是从源里面安装,所以我们要为编译源代码作准备:#apt-get install build-essential
去掉杂质
安装了这么多,我们还是要去掉一些不需要的。
apt-get remove --purge vim-common vim-tiny #我使用emacs