ディレクトリとファイルの整理をすることになって、ファイル名に基づいて連番を振るリネーム作業が必要になった。 2_0001.dat、10_0001.dat、10_0002.dat だとか、10_aa.dat、10_ab.dat、といった感じのファイルをいい感じに並び替える必要があった。 見ての…

あるプロセスが長期間放置しているとOutOfMemoryで死ぬので、OutOfMemoryで死ぬ前にkillして起動しなおすと言う事をやりたい。 あるプロセスはそこそこな数の子・孫プロセスを作るので、子プロセスを全部辿ってkillしたい。 ただし、実行元の親プロセスは残…

はてなダイアリーが閉鎖すると聞いて。 記事を消しちゃうのはなんとなくもったいない気がしたので、とりあえず移行を済ませました。 元々Markdownが使えるはてなブログには移行したいと思っていて、色々やってたのだけど、idを気にし始めてしまった。 この i…