たぶんCygwin版EmacsだとWindows版HaskellでのAgdaは動かない

だいぶ前にCygwin版EmacsからWindows版Haskellで動いているAgdaを使おうとして

File is missing: Searching for program, No such file or directory, /bin/bash

というエラーが出て動かないので諦めていました。

もう一つ、Windows版Emacsをコマンドプロンプトから動かすとC:\Users\kurok\AppData\Roaming\.emacsを読んで起動するのに、CygwinからrunemacsでWindows版Emacsを起動するとエラーが出るのにも悩まされていました。前者の.emacsと同じ内容のinit.elを読み込んでもです。

普段はVimを使っているので、「じゃあ、Windows版のEmacsをCygwinを経由させないで動かせばいいじゃない」で解決していました。でも、本格的にAgdaをやってみようと思ったら、フォントが足りなかったり、Agdaの標準ライブラリの設定が必要になったりで、AppDataの下に設定ファイルがあるのはめんどくさくなりました。設定ファイルはいつものCygwinのHOMEに集めたいです。ということで、エラーの原因を探ってみることにしました。

Cygwin経由だと$HOME/.emacs.d/init.elを読みにいくので、AppDataの下の.emacsをコピーしてきて余計なところを削ってみたのですが同じエラーになります。

(load-file (let ((coding-system-for-read 'utf-8))
                (shell-command-to-string "agda-mode locate")))

/bin/bashが無いとのことなので、PATHの問題だと思いました。なので、Cygwin関係のパスを削ってみました。

PATH=`echo $PATH | sed 's/~\/bin//g;s/\/usr\/local\/bin//;s/\/usr\/bin//'` runemacs

しかし、同じエラーが出る。

/bin/bashが問題なんだからshell-command-to-stringがらみだろうということでinit.elを

(shell-command-to-string "")

にしてみたら同じエラーが出ました。犯人はこいつです。

"shell-command-to-string"でぐぐってみるも、詳しい仕様は出てこない。bashをハードコーディングで指定しているわけはないから、どこかで設定しているはず。

$ env | grep "bash"
SHELL=/bin/bash

で見つかりました。

SHELL= runemacs

で起動するようになりました。

こうなるとCygwin版Emacsで動くのではないかと気になります。しかし、

File is missing: Cannot open load file, No such file or directory, C:\cabal\store\ghc-8.10.7\Agda-2.6.2.2-44283e0a92e767b3a6754f539efccb0afbc41964\share\emacs-mode\agda2.el

となります。Cygwin版なのにWindowsのパスなのがだめだろうから、

(load-file (let ((coding-system-for-read 'utf-8))
                (shell-command-to-string "cygpath `agda-mode locate`")))

でパスを変更してみるも、

File is missing: Cannot open load file, No such file or directory, /cygdrive/c/cabal/store/ghc-8.10.7/Agda-2.6.2.2-44283e0a92e767b3a6754f539efccb0afbc41964/share/emacs-mode/agda2.el

というエラーでだめ。

ぐぐると行末の改行を落としている例があるので、

(load-file (let ((coding-system-for-read 'utf-8))
                (replace-regexp-in-string "[\n\r]+$" ""
                  (shell-command-to-string "cygpath `agda-mode locate`"))))

とすると起動しました。やったー！

しかし、Agdaのファイルを開いてC-c C-lを押すと、

An internal error has occurred. Please report this as a bug.
Location of the error: __IMPOSSIBLE__, called at src/full\\Agda\\Utils\\FileName.hs:60:20 in Agda-2.6.2.2-44283e0a92e767b3a6754f539efccb0afbc41964:Agda.Utils.FileName

とエラーが出ました。これはめんどくさそうなやつ。ということで表題の「たぶんCygwin版EmacsだとWindows版HaskellでのAgdaは動かない」ということになりました。

こういうゴタゴタはHaskellもEmacsもWSLで動かしておけば起きないんですよね。

コメント

コメントを投稿

このブログの人気の投稿

五十音配列付き新下駄配列

イメージ
keyboard layout editorデビューしました。ファイルが複数になると管理がめんどうなので、このブログの内容はSVGファイルに直接書いてますが、これでいいんだっけ？まあ、消えなければ後からなんとでもなるからいいか。 と思ったら、SVGは日本語に対応していないみたいです。しくしく。 レイアウトは新下駄配列に覚えやすい五十音配列を加えたものです。アルファベット自体をいじってますが、qtypをちょっと動かしただけです。bntyを親指で押すシステムなんですが、けっこう快適です。ErgoDox EZだと斜めになっているキーが親指に当たるので取ってしまっています。アルファベットの長押しに制御キーやレイヤーキーを割り当ててしまえば30%で十分なんですね。ほとんど手首を動かさずに入力できます。 日本語配列は新下駄配列の拗音以外はそのままなので、覚え直すことなく使えます。五十音部分は左手で行を指定して、右手で段か拗音を指定する方式です。新下駄配列で使用しているsdklはそのまま残してあるのでさ行、た行がありませんが、それは新下駄の方を使ってください。拗音は新下駄のものをそのまま使うこともできたのですが、左手で行を指定する方式なのを活かして、右手で拗音を指定する方式にしました。各行に拗音とくっつくのはひとつしかないんですね。不思議な感じです。 欠点はロールオーバーミスが起こりまくることです。「うんち」と入力しようとして「にち」になるようなことがよく起こります。新下駄配列でもsdklioがからむと起こるのですが、それ以外にもシフトキーを増やしたので大幅に起こりやすくなっています。そういう配列なのでそこはあきらめてください。スピードを犠牲にして脳の負荷を抑えた配列です。ただ、ローマ字テーブルからfj同時押しで「に」の項目を消してしまえばそうはならないので、いろいろカスタマイズできるかもしれません。この配列でスピードを目指すならステノワードのような方向になるでしょう。脳の負荷が増えてしまいますが。 良い点は、左手で行を指定する方式なので数字行にはみ出していたみゃ行等を30%の範囲に取り込めたことでしょうか。もう一つ、頻度の低い文字は五十音の方を使うことにすれば、空いた所にいろいろ突っ込めるところでしょうか。かなり気に入ってます。 ∨ Source mar...
続きを読む

WSLでの親指シフトはどうやらMozcで実現可能と気がつくまで

WindowsではAutoHotKeyを使って疑似親指シフトで日本語を入力しています。もともとかな打ちだったんですが、キーボードをErgoDox EZに変えたら「ろ」とかのキーが足りなくなって、どうしようか悩んで親指シフトを見つけてきました。疑似なのは同時押しではなくて、親指でファンクションキーを押しながらアルファベットキーを押すことで出しているからです。AutoHotKeyを使って同時押しを実現しているものがあるのは知っていますが、とりあえずNICOLA配列を試しつつ今まで引っ張ってきた感じです。 Windowsではそれで満足していたのですが、WSLを使うようになって困りました。AutoHotKey(以下AHK)ではIMEの状態を取ってきてオンの場合には出力を変えているのですが、WSLだとAutoHotKeyからMozcの情報を取ってこられる気がしません。WSL側で検知してWindows側から読める位置にファイルを置くような、トリッキーな方法を使えばできなくはないような気もしますが、そこまでしてAHKに頼るのも変な感じです。 ということで、WSL側で親指シフトを使えるようにしようとぐぐって出てきたのは oyainput というやつでした。しかし、これがWSLでは動かない。エラーコードから察するに、 /proc/bus/input/devices が空なのでキーボードの情報が取れないのでだめみたいです。まあ、WSLですし。 しかたがないので、今度はWSLのEmacsでWindows側のIMEが使えるという「 emacs-mozc を動かすための設定（WSL 設定編） 」のmozc_emacs_helperというのを試してみました。で、苦労して動かしてみたものの、Windows側の辞書を使って変換はしているようですが、AHKがIMEの状態を把握できないので親指シフトモードに切り替わらないのは同じでした。残念。 いったんは諦めてMinGW版のEmacsを使うことにしたのですが、ぐぐってみたら「 [Question] Possible to (properly) implement simultaneous (custom) Kana-input layout? #512 」というMozcに新下駄配列を実装する話が出てきました。 新下駄配列は知らなかったのでぐぐ...
続きを読む

親指シフト新下駄配列の可能性

Google日本語入力の「シフトキーでの入力切り替え」をオフにして、ローマ字テーブルに大文字で登録すると、登録されたとおりに出力されます。当たり前ですが。これで「L」に「l」とは別に「じ」や「しかし、」や「𝕏」を割り当てることができます。 NICOLAなどの親指シフトとは違って、たんに大文字かどうかを見ているだけなのでシフトキーの左右を区別はできませんが、いろいろな使い方が考えられそうです。例えば、「X」に「𝕏」を割り当てるとか、「A」に「∀」とか。「L」に「しかし、」とかの接続詞を割り当てて入力時間の短縮もできるかもしれません。「L」に「じ」を割り当てて、「じ」に割り当てられている場所に別の文字なども考えられそうです。左右を混ぜて、シフトキーを押している間だけ全く別のマップでアルペジオとかも考えられます。覚えるのが大変ですけど。数字キーに割り当てられている文字をアルファベットに割り当てれば40%キーボードでも3点押しなしに入力することもできます。 このように、いろいろな可能性がありますが、実はまだ使っていません。まだ新下駄配列に慣れていないので、それどころじゃないんですよね。まずは新下駄配列に慣れて、その中で困ったことが起きたら解決に使う感じかな？
続きを読む