[Agda] Emacs mode setup command failing.
Liang-Ting Chen
liang.ting.chen.tw at gmail.com
Tue Jul 28 23:42:41 CEST 2020
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/20200729/ae634ebc/attachment.html>
More information about the Agda
mailing list