2012年10月31日水曜日

hgで指定のリビジョンと作業セットを比較する

hg diff -r 999 hoge.file

Windowsでgrepしたい(代替コマンド)

Windows版grepでも入れようかと思っていたところ,代替コマンドがあるらしく. そんな高度なことやらないので,grepの完全互換かどうかわからんが.
findstr /SN strings *.txt
使いそうなオプション:
  • /S 現在のディレクトリとすべてのサブディレクトリから一致するファイルを検索します。
  • /N 一致する各行の前に行番号を出力します。

Via Windowsでgrepみたいなコマンド

2012年10月18日木曜日

dvipdfmxでUS letterサイズのpdfを作る

-pオプションでサイズ指定できる.デフォルト値はa4.
dvipdfmx -p letter hoge.dvi
知らんかった.以前にUS letterサイズでどこかに提出したはずなんだが,そのときはどうやったんだろう?

2012年10月15日月曜日

Thinkpad USBキーボード with トラックポイントのキートップを外す

何かこぼしたらしく,右Shift周辺のキーがペタペタするので,キートップを外して掃除をした. キートップの外し方,はめ方をメモしておく.

私は特にこの作業に熟練した者ではないので,あくまで自分の備忘録としてです.

対象キーボード

  • Thinkpad USBキーボード with トラックポイント
  • Model No.: SK-8855
  • 2011年購入

この辺↓の情報を参考に作業開始.

外し方

参考ページに書いてあるように,キーを特定の方向から剥がすように持ち上げる.キー列によって爪の方向が異なるので注意する.
図中の矢印方向から取り外せる.
外した後.
キートップの裏側.
赤丸と青丸が爪がはまる位置.赤の方向から外す.

はめ方

キートップ裏の爪とパンタの位置を合わせて,グリグリやればはまる. 片側ずつはめるようにするとよい.
Shiftキー,Enterキーは,針金バネが所定の爪に収まるように注意する.