[解決済み] grep を使ってテキストファイルの空行を削除する

質問

FILE :

hello

world

foo

bar

この中の空の改行をすべて削除するにはどうしたらよいでしょうか。 FILE ?

コマンドの出力です。

FILE :

hello
world
foo
bar

どのように解決するのですか？

grep . FILE

(そして、どうしてもsedでやりたいなら sed -e /^$/d FILE )

(そして、どうしてもawkでやりたいのであれば awk /./ FILE )