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
Task Type Bug Report
Category Packages
Status Closed
Assigned To Felix Yan (felixonmars)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

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

Loading...