欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
打造自己的Debian
(→基本配置) |
(→安装基本系统) |
||
| 第3行： | 第3行： | ||
==安装基本系统== | ==安装基本系统== | ||
从光盘启动（我使用的是netinst的光盘）以后在debian界面中直接回车开始安装。在语言选择中选择英文和区域（这里并不重要，我们进入系统以后再按照自己的需要来调整），然后选择相应的键盘排列方式。设定电脑的网络名（默认为debian），如果没有或者不知道域名就直接跳过。安排好自己的硬盘分区后，随便选择时区（因为开始我们在语言和地区中选择的美国，所以现在只能选择美国的时区，进入系统以后我们自己修改）。在设定好root密码以及新用户的全名，用户名和密码后，就开始安装基本系统（base system）了。 | 从光盘启动（我使用的是netinst的光盘）以后在debian界面中直接回车开始安装。在语言选择中选择英文和区域（这里并不重要，我们进入系统以后再按照自己的需要来调整），然后选择相应的键盘排列方式。设定电脑的网络名（默认为debian），如果没有或者不知道域名就直接跳过。安排好自己的硬盘分区后，随便选择时区（因为开始我们在语言和地区中选择的美国，所以现在只能选择美国的时区，进入系统以后我们自己修改）。在设定好root密码以及新用户的全名，用户名和密码后，就开始安装基本系统（base system）了。 | ||
| + | |||
然后在“configure the package manager”中选择“NO”，在“Software selection”中全部不选。这样我们就安装好了一个最小的基本系统。其他的东西就我们自己安装就可以了。“Install the GRUB boot loader on a hard disk”中选“Yes”。在最后提示安装完成的时候回车就可以了，收工。 | 然后在“configure the package manager”中选择“NO”，在“Software selection”中全部不选。这样我们就安装好了一个最小的基本系统。其他的东西就我们自己安装就可以了。“Install the GRUB boot loader on a hard disk”中选“Yes”。在最后提示安装完成的时候回车就可以了，收工。 | ||
| + | |||
整个过程轻松愉快，想到自己以前使用windows，那个安装可费劲了。 | 整个过程轻松愉快，想到自己以前使用windows，那个安装可费劲了。 | ||
==基本配置== | ==基本配置== | ||
进入系统以后先换到root用户准备后面的配置工作，首先<font color=#ff0000>apt-get update</font>，<font color=#ff0000>apt-get dist-upgrade</font>来升级系统。由于升级了内核，所以我们还是重启一下：<font color=#ff0000>reboot</font> | 进入系统以后先换到root用户准备后面的配置工作，首先<font color=#ff0000>apt-get update</font>，<font color=#ff0000>apt-get dist-upgrade</font>来升级系统。由于升级了内核，所以我们还是重启一下：<font color=#ff0000>reboot</font> | ||
2007年9月1日 (六) 17:19的版本
以前自己一直都是使用的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
