欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜: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
官方链接
- 官方网站 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 包?