linux 随机读行 并保存
我有一个4千万行的txt文本 每行就一个数
想随机从这四千万行中读取20000（两万）行 并把这两万行保存 
怎么写shell?

------解决方案--------------------

探讨

1楼的我根本看不懂。。。php是什么呢？
我网上看awk能做 我也能写出一个跑起来的 
awk '{a[NR]=$0}END{srand();for(n=1;n<=20000;n++){i=int(rand()*NR+1);print a[i]}}' data.txt > sample.txt

但是好像20000的循环太大了 跑起来非常慢
能帮我改进下么