linux操作命令：head,gzip

截取文件头几行，输出到另一个文件中：

head -i 1000 a.txt|tee b.txt

 

压缩/解压 gz文件：

gunzip a.gz

gzip a #将文件a 压缩为a.gz