[Agda] Emacs mode setup command failing.

[David Banas]

That was it, with a slight addition (see below).
Thanks, Liang-Ting!
-db

$ agda-mode.exe setup
emacs: standard input is not a tty
Unable to query Emacs.

$ winpty agda-mode.exe setup
The .emacs file used: c:/Users/capnf/.emacs
Setup done. Try to (re)start Emacs and open an Agda file.
The following text was appended to the .emacs file:

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



On Tue, Jul 28, 2020 at 2:42 PM Liang-Ting Chen <
liang.ting.chen.tw at gmail.com> wrote:

> Hi,
>
> Is Emacs installed and in the $PATH?
>
> Just by inspecting the source code of Agda mode, it appears that your
> emacs cannot be found by the Windows shell.
>
> Agda-mode should report this error properly though...
>
> Best regards,
> Liang-Ting
>
> On Wed, Jul 29, 2020 at 04:41 David Banas <capn.freako at gmail.com> wrote:
>
>> Hi all,
>>
>> Does anyone know what I need to do, to fix this?
>>
>> $ agda-mode.exe setup
>> agda-mode.exe: emacs: rawSystem: does not exist (No such file or
>> directory)
>>
>>
>> Thanks,
>> -db
>>
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
>>
> --
> Dr Liang-Ting Chen
> Institute of Information Science
> Academia Sinica, Taiwan
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200728/0a02625a/attachment.html>