屑俺日記

☆ 空行削除

sed なら /^$/d だが、awk でもできた。

$ cat foo.txt
first bar.txt
bar
 
 
bar
 
 
 
bar
 
end bar.doc
$ awk '!/^$/{print}' foo.txt
first bar.txt
bar
bar
bar
end bar.doc

sed -i に相当するのってあったかどうか。

$ echo -e 'g/^$/d\nw' | ed -s foo.txt

☆ こんなのあったっけ

python2.7.3 以上で確認。
二年前のことなど、すっかり忘れてるだけなのかも。

>>> foo = 10
>>> bar = 20 if foo == 10 else 30
>>> baz = 30 if foo == bar else 40
>>> foo, bar, baz
(10, 20, 40)

☆ 任意行削除

一昨日の続きみたいに。
行の番号でなく、行の文字にヒットしたわけで ないことの確認。

$ cat foo.txt
1
2
3
4
5
1
2
3
4
5

$ awk 'NR !~/[2-4]/' foo.txt 
1
5
1
2
3
4
5