コマンドの開始時刻と終了時刻を右プロンプトに表示したくなった。 $ 15:00:00 - # 15時00分00秒に sleep 30 を入力開始 $ sleep 30 15:00:00 - # 10秒掛けて sleep 30 と打ち込んだ $ sleep 30 15:00:00 - 15:00:10 # 15時00分10秒にエンターキー押した # 3…

今週の土日は家に引きこもり、世界各国のインク瓶の形状を調べていた。 下のテーブルで、日本からアメリカまでの各国の青黒系インク瓶の形状をまとめておいた。 各国の特徴をまとめると、 日本 … 丸や台形などシンプルな形状が多い。台形(プラチナ30mlやパイ…

僕は今まで8年間、毎日PILOTの万年筆 CUSTOM743 でノートを取り、70mLのBBインク瓶を使い続けてきたのだが、今日重大な事実を発見した。 発見したこと CUSTOM743 の首軸を、 70mLインク瓶の奥の奥までブッ挿しても、ペン先が瓶底に到達しないことを発見した…

Windows7のC:/w32tex/…にインストールしたplatex+dvipdfmxを使っていたとき、 jpgだとセーフでJPGだとアウトだった。問題解決に一時間ぐらいかかったわ。 \documentclass[12pt,a4paper]{jreport} \usepackage[dvipdfmx]{graphicx} \begin{document} % セーフ…

自分用のメモとして、Makefileの文法で忘れがちな部分をまとめておく。 想定してるのは GNU make 4.2.1 で、Linux や Mac OS X で普通に make コマンドを叩いたときに走るやつだ。 FreeBSD や Solaris では gmake コマンドらしい。 Windowsでは http://gnuwi…

大規模なC言語プログラムでは、ソースやヘッダファイルが複雑な依存関係を持つため、それらを自動解決してくれるMakefileが欲しくなる。 欲望を具体化すると ソース、ヘッダ、オブジェクトファイルは異なるディレクトリに入れたい 依存関係を認識し、更新す…

昔書いた記事のコメントでzheevの使い方を書けと言われた。 なので書いた。僕は優しいなあ。 こういうのは他人が書いた記事を鵜呑みにするより、zheev.fでググってヒットする一次情報を見るほうがいいと思うよ。 Fortranが分からなくても普通に読めると思う…

結論から言うと、sedを使ったスマートな方法は無いので、headコマンドを使いましょう。 $ head -n -4 file # どうしてもsedを使いたければ $ cat file |sed -e '$d' |sed -e '$d' |sed -e '$d' |sed -e '$d' デマが蔓延している 以下のような$-3記法(そんなs…