homebrew

init.el で cask のエラーがでるので旧バージョンに戻す

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 のバージョンアップに対応する

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

BasicTeX 2017 のインストール @HighSierra

macOS を HighSierra にアップグレードしたらヒラギノを埋め込めなくなってしまったのでクリーンインストールしたという自分用メモ。 HighSierra へのアップグレードによるフォントの埋め込みの問題についてだけでしたら、一番最後の「ヒラギノフォントを扱…

ghostscript - gs_init.ps がないと言われた

gs_init.ps がない ps2pdf (https://webkaru.net/linux/pdf2ps-ps2pdf-command/) を使おうとしたら、 GPL Ghostscript 9.19: Can't find initialization file gs_init.ps. と言われてしまったのでいろいろ解決策を探してみました。 Ghostscript: Ghostscript…

mac で mts 形式を連結して mp4 に変換するまで

iMovie とかは使わずに、ターミナルを立ち上げてフリーソフトをインストールしてコマンドで変換します。 そもそも mts 形式って、ビデオカメラで撮影した時の動画の拡張子です。いろいろあるんですね。 mts ファイルの連結 ビデオカメラで撮影したファイルが…