FS#66149 - [agda] agda-mode locate prints nothing
Attached to Project:
Community Packages
Opened by Catalin Hritcu (catalin_hritcu) - Monday, 06 April 2020, 16:09 GMT
Last edited by freswa (frederik) - Tuesday, 21 July 2020, 15:50 GMT
Opened by Catalin Hritcu (catalin_hritcu) - Monday, 06 April 2020, 16:09 GMT
Last edited by freswa (frederik) - Tuesday, 21 July 2020, 15:50 GMT
|
Details
Description:
`agda-mode locate` prints nothing, which breaks the default code `agda-mode setup` adds to `.emacs` Additional info: * package version(s) agda 2.6.1-12 agda-stdlib 1.3-1 Steps to reproduce: 1. run `agda-mode locate` in a terminal and check that it outputs nothing. 2. (optional) run `agda-mode locate` and have a look at the code it adds to `.emacs`: (load-file (let ((coding-system-for-read 'utf-8)) (shell-command-to-string "agda-mode locate"))) For the moment, this code can be fixed by manually changing it to something that doesn't use `agda-mode locate`: (load-file (let ((coding-system-for-read 'utf-8)) "/usr/share/agda/emacs-mode/agda2.el")) |
This task depends upon
Closed by freswa (frederik)
Tuesday, 21 July 2020, 15:50 GMT
Reason for closing: Fixed
Additional comments about closing: agda 2.6.1-67
Tuesday, 21 July 2020, 15:50 GMT
Reason for closing: Fixed
Additional comments about closing: agda 2.6.1-67