fink→homebrewに乗り換えてついでにrlwrap入れた
タイトルの通りです
なんかhomebrewいいよって感じの人周りに結構いるような気がしたので乗り換えました。
fink消す
ググったらfinkのFAQが一番上に出てきて問題なかった(Fink - F.A.Q. - Fink の使用方法)
homebrewインストールする
公式みてinstall homebrew today!の先に書いてあるコマンドをシェルでポチっと実行したら全部勝手にやってくれて問題なかった。
homebrew試しがてら便利と噂のrlwrapを入れる
$ brew install rlwrap
ってしたら全部勝手にやってくれてrlwrapが入った。
便利と噂のrlwrapを試す
試しにrlwrapでラップしてcoqtopを起動して適当にコマンド入力した後、カーソルキー↑を入力したら、
前に入力したコマンドが現れた。アツいものがこみ上げてきた…