欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Debian
目录 |
Debian基础知识
Debian 是什么?
Debian 是一套为了您的计算机所设计的自由操作系统 (OS)。操作系统是使计算机运行的基本程序和工具的集合。Debian 使用 Linux 核心(操作系统的最重要部份),但大部份的基本工具则来自 GNU 计划,因此我们称为 GNU/Linux。
Debian GNU/Linux 不单是个操作系统,它也包含多过 15490 个软件包,它们是一些经已编译的软件,并包装成一个容易安装的格式。
Debian package tools
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发行版
- Ubuntu - Linux for Human Beings
- Debian GNU/Hurd
http://www.debian.org/ports/hurd/
- Debian GNU/NetBSD (“netbsd-i386” and “netbsd-alpha”)
http://www.debian.org/ports/netbsd/
- Debian GNU/kFreeBSD (“kfreebsd-gnu”)
http://www.debian.org/ports/kfreebsd-gnu/
- Skolelinux – a Custom Debian Distribution
应用技巧
开发相关
- 如何最快的从源码包制作 debian 包?
$dh_make -e you@mail -s
$debuild