当我们发现磁盘空间不够，但df -h显示还有空间的时候，可以看看df -i。这个是查磁盘inode数量的，即磁盘文件的个数。这个数字是在格式化磁盘的时候就定好了的，只能通过删除数量庞大的小文件来解决。

root@iZ62dn8z0plZ:/var/log# touch haha
touch: cannot touch 'haha': No space left on device

信息来自五险一金网：http://www.10zk.com/html/30373.html

有时候，我们需要把一个很长的文本拆分成多个文件。例如把一本书拆分成若干章节。下面命令可以做到，其中66表示重复执行66次（文本有66章）

csplit full.html '/正文/' '{66}'

如果重复次数超过100，csplit需要增加-n 4参数来用4位数命名文件名。

拆分后，文件会以xx开头，下面命令可以统一改后缀名：

find xx*|xargs -I {} mv {} {}.html

1. Windows、Mac、Linux的区别

Windows拥有绝大部分的市场份额，可以认为个人计算机的普及是比尔盖茨创立的微软从DOS到Windows发布的一系列操作系统的功劳。对于一般用户来说，Windows是最合适的选择。Windows有更丰富的软件。绝大部分的PC游戏都是针对Windows平台开发的。过去国内的网银也只支持Windows。

Mac的优势在于设计和硬件能力。Mac的操作系统基于BSD，属于Unix家族，因而它和Linux更为接近。Mac的命令行和Linux有一样的体验。大部分Linux命令行软件都可以在Mac上安装运行，基于这一点，很多服务器软件开发人员都喜欢使用Mac，这令到开发效率更高。不过对于一般人来说，Mac的很多操作和Windows不同，要习惯新的操作可能需要一个月的时间。不少人买一台Mac回来还会选择多装一个Windows系统。一些用户很多的产品会有一个功能简洁的Mac版，例如QQ、微信等。

Linux的桌面软件性能、数量、质量要远逊于Windows和Mac。不过Linux在服务器方面的软件具有绝对的优势，因而大部分的服务器是采用Linux服务器的。它更适合作为极客的玩具。

作者：黄冠能

（本教程以Linux Professional Institute (LPI)的考纲为结构编写）

教程目录

1.1 Linux的进化和主流发行版

1.2 主流开源软件

1.3 理解开源许可证

https://www.verovio.org/tutorial.xhtml?id=topic09

依赖一个midi-player库：https://github.com/rism-ch/midi-player/

https://cn.imslp.org/

https://www.8notes.com

一个商业性的网站，一天同一首曲子可免费播放3次，可免费下载midi。

https://github.com/w3c/musicxml/wiki/MusicXML-HTML5