欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Linux
94.23.1.28 (讨论) (→Linux 与 GNU) |
94.23.1.28 (讨论) (→Linux桌面系统) |
||
| 第66行： | 第66行： | ||
*http://www.xbox-linux.org | *http://www.xbox-linux.org | ||
| − | + | Apparently this is what the estemeed Willis was talkin' 'bout. | |
| − | + | ||
| − | + | ||
| − | + | ||
==安装指南== | ==安装指南== | ||
2012年10月27日 (六) 10:18的版本
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 Credit Card Plesiang to find someone who can think like that
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 ?
相关
体系 & 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
Apparently this is what the estemeed Willis was talkin' 'bout.
安装指南
厂商与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文档
- 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>
