UbuntuにFluxboxをいれたとき、ウィンドウのメニューバー（と呼ぶのでしょうか？）の日本語表示が文字化けしていましたが、つぎのように設定ファイルに書き込むとよいことを学びました。こちらのCookiesさんのfluxboxを入れてみたという記事にあるとおりです…

PDFファイルをTIFFに変換したときのメモです。imagemagickを使って複数ページのPDFファイルをページごとにJPEGにするというのはかんたんにできます。 $ convert filename.pdf filename.jpgこれで出力ファイル名の拡張子の前に自動的に連番が付けられます（PN…

ひさしぶりにカメラを使った複写について書いてみます。このところあまり複写に時間を使えなかったのでカメラをしまい込んでいたのですが、久しぶりに取り出したので、カメラを2台使って書籍を複写する方法について少し書きます。基本的にはつぎのような方針…

書き物をしていたり翻訳していたりするときに、コマンドラインで英辞郎が使えたらいいのに、と思っていたらあっさりできたのでメモします。ぼくは少し古い第4版を持っていたのでそのデータを使っていますが、新しい版だと違うかもしれません。DebianとUbuntu…

Ubuntuを起動するときにOSの選択肢がふえすぎたので、古いカーネルを削除しました。そのメモ。Winとデュアルブートにしているのですが、最近は選択肢がふえすぎてWinのところまでいくのに次画面までいかなくてはならなくなったので、とっても面倒でした。ま…

カメラやスキャナから取り込んだ連番のついたデータを、たとえばタイトルごとにディレクトリをわけて整理したいとき、Linuxのコマンドではどのように操作するのがいちばんラクか。その答えはおそらく、ブレース展開{}を使ってforループで回す。たとえば、リ…

海外からのひと向けにHow to Protect Yourselfが作られています。東京外国語大学の学生さんたちがはじめたのかな？ぼくも何かしたいのだけれど。

最近論文を書いているので、Zoteroがやっぱり便利だなと思って使っているのですが、文献リストの自動生成のスタイルにほしいものがないので、自分で文献リストをつくるためのスクリプトをかくことにしました。そのためにXMLで出力したいので、エクスポートの…

WubiでUbuntuを使っているのですが、寝る前にUpdate Managerでアップデートし、朝起きてみたらUbuntuのほうが起動できなくなっていました。検索してさがしたら解決法が見つかったのでここに記す。環境にもよると思うので誰でもうまくいくかは知りません。ま…