欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
打造自己的Debian
(→基本配置) |
(→基本配置) |
||
第7行: | 第7行: | ||
==基本配置== | ==基本配置== | ||
− | + | 进入系统以后先换到root用户准备后面的配置工作,首先<font color=#ff0000>apt-get update</font>,<font color=#ff0000>apt-get dist-upgrade</font>来升级系统。由于升级了内核,所以我们还是重启一下:<font color=#ff0000>reboot</font> | |
− | < | + | |
− | apt-get dist-upgrade | + | |
− | </ | + | |
− | + |
2007年9月1日 (六) 17:15的版本
以前自己一直都是使用的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,那个安装可费劲了。
基本配置
进入系统以后先换到root用户准备后面的配置工作,首先apt-get update,apt-get dist-upgrade来升级系统。由于升级了内核,所以我们还是重启一下:reboot