«前の日記(2008-07-06) 最新 次の日記(2008-07-10)» 編集

ソフトウェアと本の覚え書き

2005|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|01|02|03|04|05|06|07|08|09|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|01|02|03|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|08|09|10|11|12|
2016|01|02|03|04|05|06|07|08|09|10|11|12|
2017|01|02|03|04|05|06|07|08|09|10|11|12|

2008-07-08 [長年日記]

_ [Linux] スキャンした文書を一括して見やすくする

スキャンした文書の背景が灰色になってしまったので、一括変換で白くしたい。Gimp で script-fu を書くのが良いかと思ったのだが、scheme が使いこなせないので、断念。ややこしい処理をしなくても ImageMagick を使って色を置換すればすむことに気づき、次のように実行した。

convert -fuzz 11% -fill "#ffffff" -opaque "#e0e0e0" source.png result.png

実際には、zsh で

for f in *.png
convert -fuzz 11% -fill "#ffffff" -opaque "#e0e0e0" $f result_$f

として、一括して50枚の画像を変換した。

_ [Linux] ファイルに連番をつける

1.png
2.png
.
.
10.png

となっていると、ソートするときに不便で

01.png
02.png
.
.
10.png

のように桁が小さい場合に0をつけた名前に変更したい。定番の方法はよく分からないが、私が思いついたのは zsh での次の方法だ。

for i in {1..10}
mv $i.png `printf %02d $i`.png