[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