2016-04-25 24 views
0

Ich versuche, Agda-Modus auf OSX zu installieren. Ich folgte dem offiziellen Führer (versuchte es auch mit einigen anderen), aber es scheint nicht zu funktionieren.Wie installiert man den Agda-Modus auf OSX El Capitan?

Wenn Emacs/Aquamacs Laden bekomme ich folgende Fehlermeldung:

Warning (initialization): An error occurred while loading `/Users/is7s/.emacs': 

File error: Searching for program, no such file or directory, /bin/false 

To ensure normal operation, you should investigate and remove the 
cause of the error in your initialization file. Start Emacs with 
the `--debug-init' option to view a complete error backtrace. 

ich in der Regel einen manuell installierten GHC und Kabalen Sandkästen verwenden. Aber ich habe auch versucht, die Haskell-Plattform zu installieren, um sicherzustellen, dass alles, was benötigt wird, an seinem Platz ist.

+0

Möglicherweise möchten Sie [Agda Writer] (https://github.com/markokoleznik/agda-writer) - eine Alternative zu Emacs auf OS X. – user3237465

+0

Disclaimer: Autor von Agda Writer hier. Wenn Sie nicht mit Agda Writer zufrieden sind, sollten Sie auch Agda-Modus-Paket für Atom-Editor überprüfen. Aber Agda Writer kommt mit kompiliertem Agda daher wird keine Installation benötigt. Wenn Sie weitere Fragen haben, fragen Sie bitte. – markich

+0

@markich Ich habe Agda Writer ausprobiert, als ich auf dieses Problem stieß, aber als ich versuchte, ein Agda-Skript zu laden, bekam ich einen Fehler wie "Kann nicht mehr als eine Datei laden". – is7s

Antwort

2

Scheint wie El Captain setzt die Standard-Benutzer-Shell auf /bin/false, die das Problem verursacht hat. Durch Ändern der Systemeinstellungen in /bin/bash wurde das Problem behoben.