Emacs でバッファ一覧を表示するコマンドCtrl-x Ctrl-b を打つと、デフォルトでは、別のバッファに一覧が表示されてしまう設定になっていたのをついに解決しました…！ 設定を変更する Emacs の設定ファイル （~/.emacs.d/init.el や ~/.emacs など） に以下…

Emacs の画面を一行ずつマウスで（もしくはトラックパッドで）スクロールさせる設定を追加してみました。 ~/.emacs.d/init.el などの設定ファイルに以下の内容を記入し、Emacs を再起動するとできるようになります。 再起動が面倒であれば M-x eval-buffer …

Emacs の設定ファイルである init.el の読み込みに失敗するようになってしまいました。 Warning (initialization): An error occurred while loading ‘(略)/.emacs.d/init.el’: error: Given parent class package-recipe is not a class To ensure normal o…

Coq のバージョンが上がってしまい (Homebrew で 何も考えずに upgrade をかけてしまった) 、いざ Coq を書こうとしてRequire Import [ライブラリの名前] という行を読み込もうとしたら、 Error: File /Users/(略).vo has bad magic number 8700 (expected 8…

Emacs の org-mode は最近使い始めたのですが本当に便利ですね。数式を TeX で書けたり、エクスポート先がいろいろあったりするのが嬉しいところです。 行の折り返しの ON/OFF 折り返しの ON/OFF を切り替えたいときは次のようにします。 M-x toggle-truncat…

Aquamacs っていうのは Emacs の親戚 Aquamacs: Emacs for Mac OS X というのは、macOS 向けの Emacs です。ほぼ Emacs と思って大丈夫。違うのは牛の顔がちょっとかわいいかもしれない(Aquamacs)か、全然可愛くない(Emacs)かぐらいです。 Emacs を使ってい…

よく使うコマンドたちの備忘録。 コマンドの基本的な打ち方 カーソル移動 検索 置換 コメントアウト 行数の表示 ウィンドウ分割 バッファ コマンドの基本的な打ち方 C-uなどと書くと、Controlキーと"u"を一緒に押します。 C-u 0となっているときは、一度C-u…