欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Linux
来自开放百科 - 灰狐
GNU/Linux
目录 |
Linux
严格的说Linux指的是 Linux Kernel。Linux Kernel 是Linux操作系统（也叫做GNU/Linux）的重要组成部分。
它最初的作者是芬兰程序员Linus Torvalds。但是人们常说的Linux往往是指各种Linux发行版。Linux的吉祥物是企鹅Tux。
Linux 网地大全 - http://site.huihoo.com/linux.html
新闻
|
您可以在Wikipedia上了解到此条目的英文信息 Linux Thanks, Wikipedia. |
自http://www.linuxfoundation.org/news-media/announcements/rss.xml加载RSS失败或RSS源被墙 自http://www.linuxfoundation.org/news-media/blogs/browse/rss.xml加载RSS失败或RSS源被墙
Linux Credit Card
Linux 与 GNU
Linux发行版
- Debian GNU/Linux (官方网站)
- Ubuntu (官方网站)
- Red Hat Linux (官方网站)
- CentOS
- Fedora Core (官方网站)
- SUSE Linux (官方网站)
- openSUSE (官方网站)
- Mandrake Linux (官方网站)
- Slackware Linux (官方网站)
- Gentoo Linux (官方网站)
- Knoppix (官方网站)
- MiniLinux Mini Linux Distribution
- Arch Linux
更多发行版：http://lwn.net/Distributions/
ppp人民
Realtime & Embedded
Tips
统计文件数量
ls -l|grep "^-"|wc -l // 当前目录 or find ./ -maxdepth 1 -type f|wc -l ls -lR|grep "^-"|wc-l // 包含子目录 or find ./ -type f|wc -l
邮件队列统计
mailq | wc -l
Wget
用wget做站点镜像 wget -r -p -np -k http://www.google.com/
选择性下载
wget -m --reject=gif http://www.google.com/ wget -m --accept=gif http://www.google.com
更多技巧: http://linux.chinaunix.net/bbs/viewthread.php?tid=916028
系统时间错了, 修改系统时间,通过Internet同步时间：
ntpdate nist1.symmetricom.com
the NTP socket is in use, exiting ?
删除包含乱码文件名的文件
ls -i 24002339 ?++??+0927.pdf find -inum 24002339 ./?++??+0927.pdf find -inum 24002339 | while read ii; do > rm -rf $ii > done
相关
体系 & Ports
....
- http://www.linux-usb.org/
- http://www.linux-laptop.net/
- http://playstation2-linux.com/
- http://www.terrasoftsolutions.com/ - Linux for PS3, IBM Power, Mercury Cell, and Apple PowerPC.
- http://www.xbox-linux.org
Linux桌面系统
安装指南
厂商与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/
- KS2009: How Google uses Linux
GNU/Linux文档
- http://docs.huihoo.com/gnu/
- http://gnu.huihoo.org/
- http://docs.huihoo.com/gnu_linux/
- http://docs.huihoo.com/linux/
- http://ldp.huihoo.org/
Linux展会
Linux资源
- 中国Linux大学
- Linux文档计划
- Linux内核官方网站
- Linux新闻
- Linux程序下载中心
- Linux.com
- Linux Wiki
- HowtoForge is the source for Linux tutorials
- Jserv's blog
中国的Linux发行版
中国Linux社区网站资源
- Linux大本营
- 中国Linux论坛
- Linuxsir黄嘴企鹅
- 中国Linux公社
- 中国Linux技术中坚站
- Linuxeden
- FreeWay 自由之路原创文档小组
- FreeWill 自由意志翻译小组
- Gentoo 中文文档集散地
- LFS 中文用户小组
- Fcitx 小企鹅输入法
- 北京大学Linux俱乐部
- ChinaUnix.net
中国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书籍
相关应用
精彩图集
<discussion>characters_max=300</discussion>
分享您的观点
