Bashでパイプラインを用いて、テキストファイルの行をランダムに入れ替えた出力を得るには?
例えば、以下のように、0から9までの数字が1行ずつ入っている内容のファイルがあったとします。
1
2
(..)
9
10
このファイルについて、上記の行がランダムで入れ替わっているような出力を得たいとします。例としては下のようにです。
9
5
(..)
1
3
もちろん、Perlのワンライナーを使ったり、あるいはRubyやPythonでこのような目的のスクリプトを書くことはできるのですが、これくらいのことであるならば、何らかのコマンドのパイプ(|)で繋いでいき、この出力を実現するような書き方があるような気がしました。もし、そのような方法があれば、教えて下さい。