欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
打造自己的Debian
(→基本配置) |
(→基本配置) |
||
| 第9行： | 第9行： | ||
==基本配置== | ==基本配置== | ||
| + | ===apt配置=== | ||
进入系统以后先换到root用户准备后面的配置工作，首先修改软件源，<font color=#ff0000>nano /etc/apt/source.list</font>如果是电信用户，可以选择cn99的源，将下面的内容替换默认的sources.list： | 进入系统以后先换到root用户准备后面的配置工作，首先修改软件源，<font color=#ff0000>nano /etc/apt/source.list</font>如果是电信用户，可以选择cn99的源，将下面的内容替换默认的sources.list： | ||
<pre> | <pre> | ||
| 第19行： | 第20行： | ||
保存以后<font color=#ff0000>apt-get update</font>，<font color=#ff0000>apt-get dist-upgrade</font>来升级系统。由于升级了内核，所以我们还是重启一下：<font color=#ff0000>reboot</font>。 | 保存以后<font color=#ff0000>apt-get update</font>，<font color=#ff0000>apt-get dist-upgrade</font>来升级系统。由于升级了内核，所以我们还是重启一下：<font color=#ff0000>reboot</font>。 | ||
| + | ===调整时间=== | ||
现在我们要更改我们的时区：<font color=#ff0000>tzselect</font>，然后根据提示选择。选好以后，<font color=#ff0000>cp /usr/share/zoneinfo/Asia/Hong_kong /etc/localtime</font>，然后<font color=#ff0000>ntpdate cn.pool.ntp.org</font>来同步时间（通过<font color=#ff0000>apt-get install ntpdate</font>来安装ntpdate）。 | 现在我们要更改我们的时区：<font color=#ff0000>tzselect</font>，然后根据提示选择。选好以后，<font color=#ff0000>cp /usr/share/zoneinfo/Asia/Hong_kong /etc/localtime</font>，然后<font color=#ff0000>ntpdate cn.pool.ntp.org</font>来同步时间（通过<font color=#ff0000>apt-get install ntpdate</font>来安装ntpdate）。 | ||
| + | |||
| + | 我们也可以修改/etc/default/ntpdate使系统每次启动的时候同步时间，当然也可以像我这样使用crontab来更新（这样更加灵活）。<font color=#ff0000>crontab -e</font>（注意在root下使用）。添加下面这行： | ||
| + | <pre> | ||
| + | 0 0-23/2 * * * ntpdate cn.pool.ntp.org | ||
| + | </pre> | ||
| + | 这样每个偶数正点就会自动同步时间。 | ||
| + | |||
| + | ===安装输入法=== | ||
| + | a | ||
2007年9月1日 (六) 18:24的版本
以前自己一直都是使用的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
这样每个偶数正点就会自动同步时间。
安装输入法
a
