search

markokoleznik / agda-writer

A simple GUI for Agda
Other
31 stars 2 forks source link

Version v1.2.3 (binary) forgets path to the agda binary #35

Open nkaretnikov opened 6 years ago

nkaretnikov commented 6 years ago

I set Path to Agda in preferences, closed the window. Opened it again, and nothing's there. I tried working around this by editing the defaults.plist file, but after that I started getting:

*Error*
only one input file allowed

The part of the plist:

        <key>agdaLaunchPath</key>
        <string>/usr/local/Cellar/agda/2.5.3_1/bin/agda</string>
nkaretnikov commented 6 years ago

The reason for doing this, of course, is that the bundled agda is quite old.