読者です 読者をやめる 読者になる 読者になる

UbuntuのEvinceで表示されるPDFのフォントを変える

Evinceって何? EvinceはLinux用のデフォルトドキュメントビューア PDFを表示するならAdobe Readerよりもかなり軽いので普段はこっちがおすすめ あと、PDFが更新されると自動的にEvince上に表示されているものも更新されるので、 TeXで論文を書いていたりす…

screen分割時のメモ

Screen version 4.00.03jw4 (FAU) 2-May-06です コマンドモードへの移行はctrl-jにしています(デフォルトではctrl-a) 設定ファイル ~/.screenrc escape ^Jj bind r eval 'echo "Resize window"' 'command -c resize' bind -c resize ^] command bind -c resi…

キーボード派におすすめするLinuxのCompiz設定

はじめに 正直Compizなんか使わずにEmacsとか使って端末で全て完結させればいいっていう話もあるのですが、 そこはUnixの設計思想*1を都合良く解釈してなんとかしましょう! WebブラウジングにはWebブラウザを使ったっていいし、音楽を聴くために各種メディ…

静的ライブラリを作る

いつも忘れてしまうので個人的メモ 静的ライブラリっていうのは 要はただのオブジェクトファイル(*.o)の集合です Linuxならファイル名が*.aのものは静的ライブラリで、*.so.*のものは動的ライブラリです(Windowsの場合は*.dll) オブジェクトファイルの作り方…

Google ChromeでGreasemonkeyを動かしてみた

参考になるページ http://chrome.half-moon.org/45.html http://dev.chromium.org/developers/design-documents/user-scripts http://dev.chromium.org/user-experience/user-data-directory やり方をまとめると とりあえず開発版のGoogle Chromeを使う - 起…

zshのzstyleでの補完時の挙動について

zshというシェルはデフォルトでも素晴らしいのですが、あまりに拡張性が高いので全ての機能を使いこなすのは逆に難しいと思います。 特にzstyleというコマンドの文脈に応じた補完候補への設定関数は、使用するとどうなるのかヘルプを見てもWeb上を見てもよく…

grepって便利だよね

エディタに検索機能あるからgrepコマンドいらないと思ってる時期が私にもありました 1つのファイルだけならそれでもいいんだけど、たくさんのファイルから単語を検索したいときは grepコマンドを使った方が絶対に速い!!! grep "findword" *.txt パイプを…

vmwareでubuntu7.10をインストールした

やっぱりちょっと重いかも ちゃんとデュアルブートした方がいいと思った参考 http://academic.meganebu.com/~debug_ito/index.php?Ubuntu%2FGutsy%A5%A4%A5%F3%A5%B9%A5%C8%A1%BC%A5%EB%A5%E1%A5%E2 http://sarabande.info/wiki/Vmware:Windows%E3%82%92%E3%…