mieki256's diary

検索したら辿りついた。 _こちら で、grub の splash image がいくつか公開されてるらしい。爽やか系多し。14色でも結構綺麗に出来るのだな。ありがたや。感謝しつつ早速DLさせてもらったり。

grub で使える画像フォーマットにするには、

$ convert -colors 14 hoge.gif hoge.xpm
$ gzip hoge.xpm

とする必要があるけれど。複数の画像を変換したい場合、なんだか面倒臭い。シェルスクリプトとやらを勉強しないと。

_シェル2 --- Bシェルのスクリプト
_UNIXの部屋 検索結果 for
上記ページを読みながら、cygwinを使って勉強。なるほど。for を使うのだな。でも、拡張子込みのファイル名から、拡張子を取り除いた文字列を取得するのはどうやるのだろう。hoge.gif を、hoge.xpm にしたいのだけど。

_forとコマンド置換のあわせ技
sedを使うしかないのか。file2=`echo $file1 | sed 's/.bmp/_mini.bmp/'` といった具合に書くらしい。

と思ったら、前述の _『UNIXの部屋 検索結果 for』 の中で、${i%.txt}.html という記述があった。たとえば、${i%.gif}.xpm と書いてある場合、i に hoge.gif が入っていれば、出てくる文字列は hoge.xpm になる。…でも、コレ、どういう意味の指定なんだろ。%の前に記述された変数に、%以降の文字列が含まれていた場合、その文字列を消去するという認識でいいのだろうか。%って、なんだ？

_[fol] 拡張子を抜いたファイル名を取得したい
_POSIX規格 とやらが関係してるらしい。『UNIXベースのOSが備えるべき最低限の仕様のセット』=POSIX、なのか。

_変数に対するパターンマッチ

${変数%パターン}
変数の内容について、最後の部分とパターンがマッチしたら、最も短く一致する部分を取り除いた残りの部分を返す。

とあった。なるほど。そういうわけだったのか。すると、こうなるのかな？

#!/bin/sh
for file1 in *.gif
do
        file2=${file1%.gif}.xpm
        convert -colors 14 $file1 $file2
        gzip $file2
        echo "$file1 -> $file2.gz"
done

上手くいったみたいだ。