Ubuntu
Ubuntu 10.04 Server Edition に LaTeX の環境を構築した時のメモ。基本的に JapaneseLocalizedDerivative/LaTeXForJapanese - Ubuntu Japanese Wiki の通りにやっていけばいいんだけど、Ubuntu Server だと、latex-env-ja が見つからない。どうも latex-env…
.xmodmaprcをなんとなくメモ。Caps Lock -> Controlはまあよくある割り当て。 あと、変換キーと無変換キーは使わないのでEscapeとBackspaceを割り当てる。 Vim使いなのでEscapeを親指で打てることは重要。(別にCtrl-cがあるから困らないという説もある) !! C…
home直下に「デスクトップ」とか「ドキュメント」みたいな日本語のディレクトリがあってcdしづらいので英語に直した。 LANG=C xdg-user-dirs-gtk-update 後はGUIが出てくるので適当に。
今までDebianを入れてたんだけど、やっぱりUbuntuの方が楽そうなのでUbuntuを入れてみた。
Ubuntuは設定によってはデフォルトでOpenGLの垂直同期をとってくれないので、wineで東方とかしてると激しくティアリングしてちょっと見づらいから改善を試みてみる。 OS Ubuntu 8.04 グラボ GeForce 8600 GT アプリケーションの追加と削除で「NVIDIA X Serve…
sudo apt-get install poppler-dataってやったら直った。
昔Linux用のOperaを入れたら日本語用フォントが変なフォントになってて萎えたことがあったけど、最近のはちゃんと設定されているらしい。ということでインストールした。以前の設定が残ってるとフォントがちゃんとならないことがあるっぽいので~/.operaを消…
いままでキーマップ変更はGUI(システム>設定>キーボード)からやってたんだけど、アップデートをかけた時にキーマップがキャンセルされることが何度かあったので、~/.xmodmaprcを書く方法に変更した。GUIの設定は念のためデフォルトに戻しておいてから、~/.xm…
sshで部室のマシンにログインして作業をしようとしたら、Backspaceが反応しないことに気づいた。ログインシェルをzshにしていたので、念のためbashを起動してみると、そっちでは普通に入力できる。Google先生に聞いてみたところ .zshrc に次の行を追加すれば…