«前の日記(2004-07-22) 最新 次の日記(2004-07-24)» 編集

おこたの国


2004-07-23

_ [COMP] Sage/Firefox extensions の CVS

スラッシュドットジャパンの「RSSリーダー、何を使ってますか?」で、Sage の最新版の言及があり、そんなものがあるんだという、とってもあたりまえなことに今さら気付いた。ざっと見ただけだが日付け処理関連もかなり書き直されている。

自作の item list に日付けを出すパッチをマージして欲しいところなのだが、欧米人には %m/%d なフォーマットは日付けには見えんだろうしなぁ。どうして JavaScript には strftime(3) に相当する機能がないんでしょ。

_ [Diary] 今日は涼しいぞ。

いや、昨日の晩からすでにその傾向はあったけど、ホント今朝は涼しく感じる。今(06:45くらい)外気温はたぶん25度くらいだろう。となると、これって普通なのでは? ここ数日の酷暑で感覚がおかしくなっているのかも。

_ [COMP] favicon.ico

作ってみた。1ドットづつ整えていけば、そこそこ見栄えのするものが出来るのかもしれないけど、根性がないので適当に作って縮小をしたため、ゴニョゴニョの出来です。いや、こんなでも結構時間がかかったんだけどなぁ。

gimp で元絵(?)を描き、ImageMagick で 32x32 と 16x16 の PNG ファイルにし、toico なるツールで、ICO 形式に変換。

なにもしなくても、勝手に GET してくやつはいるけど、一応 head element 内に link を追加。plugin ディレクトリに

add_header_proc do
%Q|\t<link rel="shortcut icon" type="image/x-icon" href="/favicon.ico">\n|
end

てな内容の favicon.rb を作り、設定→プラグイン選択でチェック。使用中に。

しかし、一番よく使われる 16x16 の方の出来があまりにヒドいためか、達成感がまるでないのが悲しい…

[category変更]


2002|10|
2003|10|12|
2004|01|06|07|08|09|10|11|12|
2005|01|02|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|05|07|08|09|10|11|12|
2009|02|06|08|09|
2010|02|08|
2011|08|
2012|07|
2013|01|06|09|10|
2019|07|10|
2020|07|
2022|08|