欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Debian
目录 |
Debian 是什么
是Linux发行版当中最自由的一种。由位于世界各地上千名的自愿者不断开发和维护。它不属于任何的商业公司,完全由开源社区所有。是一套为了您的计算机所设计的自由操作系统 (OS)。操作系统是使计算机运行的基本程序和工具的集合。Debian 使用 Linux 核心(操作系统的最重要部份),但大部份的基本工具则来自 GNU 计划,因此我们称为 GNU/Linux
Sarge经过三年多的开发于2005年6月6日正式发布,替代Woody成为最新的Stable。testing的代号改为etch,unstable的代号还是sid。
Debian于2006年6月底停止对旧Stable版本Woody的支持。
Debian中代号为Sarge的发行版已获得开放源码发展实验室(OSDL)的电信运营商等级Linux(CGL)规格认证。
Debian GNU/Linux 不单是个操作系统,它也包含多过 15490 个软件包,它们是一些经已编译的软件,并包装成一个容易安装的格式。
相关计划
- Huihoo Enterprise Debian Guide
- Huihoo PHP Applications
- Huihoo Python Applications
- Huihoo Ruby Applications
- Huihoo Geronimo Applications
- Huihoo JOnAS Applications
Debian 常用包命令
http://www.debian.org/doc/manuals/reference/ch-package.zh-cn.html
- dpkg – Debian 包安装工具
- apt-get – APT 的命令行前端
- aptitude – APT 的高级的字符和命令行前端
- synaptic – 图形界面的 APT 前端
- dselect – 使用菜单界面的包管理工具
- tasksel – Task 安装工具
- dpkg-reconfigure - 重新配置已安装的软件包(如果它是使用 debconf 进行配置的)
- dpkg-source - 管理源码包
- dpkg-buildpackage - 自动生成包文件
- apt-cache - 在本地缓冲区检查包文件
- apt-get check # 更新缓冲区并检查损坏的软件包
- apt-cache search pattern # 按文本描述搜索软件包,看有哪些包可供选择
- apt-cache policy package # 软件包的 priority/dists 信息
- apt-cache show -a package # 显示所有 dists 中软件包描述信息
- apt-cache showsrc package # 显示相应源码包的信息
- apt-cache showpkg package # 软件包调试信息
- dpkg --audit|-C # 搜索未完成安装的软件包
- dpkg {-s|--status} package ... # 已安装软件包描述
- dpkg -l package ... # 已安装软件包的状态(每个占一行)
- dpkg -L package ... # 列出软件包安装的文件的名称
install gcc
http://lists.debian.org/debian-gcc/
- apt-get install build-essential
- cat /proc/version // 确定核心是什么版本gcc编译的
- apt-get -u install gcc-2.95 g++-2.95 make
- export CC=/usr/bin/gcc-2.95
- export CXX=/usr/bin/g++-2.95
http://www.debian.org/doc/manuals/reference/ch-program.zh-cn.html // 编程
- apt-get install glibc-doc manpages-dev libc6-dev gcc
$ /usr/bin/gcc-2.95 -Wall -g -o run_example example.c -lm $ ./run_example
关联/usr/bin/gcc-2.95 和 gcc ln -sf /usr/bin/gcc-2.95 /usr/bin/gcc $ gcc -Wall -g -o run_example example.c -lm
Debian安装指南
Debian的安装 大体要 经过三个步骤
一,安装基本部分
通过安装光盘或自己制作引导软盘
基础安装部分可参考 - http://www.huihoo.com/gnu_linux/debian/tutorial/Debian-Install-Guide-4.html
二,安装,配制网络
PPPCONFIG 通过它来配制基本项
NUMBER 86 755 25100572 User ... password Speed 115200 COM /dev/ttyS1 Method PAP
PPPOEConf 测试
在/etc/resolv.conf加入一个nameserver
如;nameserver 202.96.134.133
ifconfig -a
netstat -nr
/usr/bin/pon dsl-provider (启动adsl)
/usr/bin/poff dsl-provider (关闭adsl)
route add default gw ip (获得的动态IP)
nslookup www.huihoo.com (OK)
三. apt-get 安装方式
通过HTTP,FTP等方式 用APT方式进行其余部件的 安装。这点很吸引人
apt-get install xxx.deb
vi /etc/apt/sources.list
加入 deb http://http.us.debian.org/debian woody main contrib non-free deb http://non-us.debian.org/debian-non-US woody/non-US main contrib non-free
sid 换成woody
apt-get update
apt-get dist-upgrade
运行 dselect
光标在 Update上 按 enter
完了再 Select,什么都不用改,直接enter返回到前选项单里,因为它已经预订了基本需要的东西.
Install, 是否安装 enter,等下完后开始配置,会问你问题.
完成后回问是否删除下载的.deb文件,随你便,默认删除.
debian server 192.168.1.6
安装ssh
apt-get install ssh
官方链接
- 官方网站 www.debian.org 了解debian,从这里开始
- 新闻中心 www.us.debian.org/News 包括升级通告,安装更新等重要新闻
- 软件包搜索站 www.debian.org/distrib/packages 提供各个版本的软件包搜索,下载,并提供详细的软件包信息
- 开发者中心 www.debian.org/devel 想成为debian开发者中正式一员?来这里
- 获得debian www.debian.org/distrib 提供网络下载、CD购买,以及正式的安装文档
- 文档中心 www.debian.org/doc 包括 用户手册、开发人员手册、HOWTO以及通用FAQ文档等,你不能错过
民间组织、社区、个人站点
- Debian星球 www.debianplanet.org 历史悠久的国际化Debian社区
- 国内高速debian下载站点,软件仓库 debian.cn99.com,当然你可以在这里下载到最新的ISO镜像
- debian 帮助使用网站 www.debianhelp.co.uk
- Debian-Administration Debian-Administration
- Debian Wiki http://wiki.debian.org
Debian发行版
- Debian GNU/Linux 4.0 计划 2006年第发布
- Adamantix - A distribution focusing on security.
- Hiweed
- Ubuntu - Linux for Human Beings - http://www.ubuntulinux.org/
- Debian GNU/Hurd - http://www.debian.org/ports/hurd/
- Debian GNU/NetBSD - http://www.debian.org/ports/netbsd/
- Debian GNU/kFreeBSD - http://www.debian.org/ports/kfreebsd-gnu/
- Skolelinux – a Custom Debian Distribution - http://www.skolelinux.org
下载
开发相关
- 如何最快的从源码包制作 debian 包?