欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Linux
来自开放百科 - 灰狐
（版本间的差异）
| 第4行： | 第4行： | ||
它最初的作者是[[芬兰]]程序员[[Linus Torvalds]]。但是人们常说的Linux往往是指各种Linux发行版。Linux的吉祥物是企鹅[[Tux]]。 | 它最初的作者是[[芬兰]]程序员[[Linus Torvalds]]。但是人们常说的Linux往往是指各种Linux发行版。Linux的吉祥物是企鹅[[Tux]]。 | ||
| + | |||
| + | ==Linux 与 GNU == | ||
| + | |||
| + | [[Image:Richard Matthew Stallman.jpeg|thumb|250px|right|[[Richard Stallman]], founder of the GNU project for a free operating system.]] | ||
Linux 网地大全 - http://site.huihoo.com/linux.html | Linux 网地大全 - http://site.huihoo.com/linux.html | ||
2006年10月11日 (三) 13:41的版本
严格的说Linux指的是Linux内核。Linux内核是Linux操作系统（也叫做GNU/Linux）的重要组成部分。
它最初的作者是芬兰程序员Linus Torvalds。但是人们常说的Linux往往是指各种Linux发行版。Linux的吉祥物是企鹅Tux。
目录 |
Linux 与 GNU
文件:Richard Matthew Stallman.jpeg
Richard Stallman, founder of the GNU project for a free operating system.
Linux 网地大全 - http://site.huihoo.com/linux.html
Linux发行版
- Debian GNU/Linux (官方网站)
- Ubuntu (官方网站)
- Red Hat Linux (官方网站)
- Fedora Core (官方网站)
- SUSE (官方网站)
- openSUSE (官方网站)
- Mandrake (官方网站)
- Slakeware (官方网站)
- Gentoo (官方网站)
- Knoppix (官方网站)
厂商与Linux
- Dell - http://linux.dell.com/
- Oracle - http://oss.oracle.com/
- IBM - http://www-1.ibm.com/linux/
- HP - http://linux.hp.com
- SUN - http://www.sun.com/software/linux/
GNU/Linux文档
Linux展会
Linux资源
- Linux文档计划
- Linux内核官方网站
- Linux新闻
- Linux程序下载中心
- Linux.com
- Linux Wiki
- HowtoForge is the source for Linux tutorials
中国的Linux发行版
中国Linux社区网站资源
- Linux大本营
- 中国Linux论坛
- Linuxsir黄嘴企鹅
- 中国Linux公社
- 中国Linux技术中坚站
- Linuxeden
- FreeWay 自由之路原创文档小组
- FreeWill 自由意志翻译小组
- Gentoo 中文文档集散地
- LFS 中文用户小组
- Fcitx 小企鹅输入法
- 北京大学Linux俱乐部
中国Linux社区IRC资源
- PCHOME #Unix IRC: irc.pchome.net 6667 #unix #geekbone.
- 中国Linux公社 IRC: irc.linuxfans.org 6667~6669 7000 #linuxfans #linuxer etc.
- LinuxFire IRC: linuxfire.dhis.org 6667 #linuxfire
- LinuxSir IRC: irc.linuxsir.org 6667 #linuxsir etc.
- 北大Linux俱乐部IRC: linux.pku.edu.cn 6667 #club
- FreshDot IRC: irc.freshdot.org 6667 #Linux
Linux书籍
相关应用
精彩图集
分享您的观点
