[Agda] Aquamacs path?
Filippo Sestini
Filippo.Sestini at nottingham.ac.uk
Mon Nov 11 11:48:25 CET 2019
Hi Thorsten,
When Emacs is started from a terminal session, it inherits the values of all environment variables from shell.
However, when Emacs is launched from a GUI environment (as is the default case with Aquamacs), this doesn't happen, and its internal PATH is not initialized to the same that the shell uses, hence the need to set it in other ways. There are elisp packages you can install that make Emacs load PATH from the shell automatically, like https://github.com/purcell/exec-path-from-shell
--
Filippo
On 11/11/19, 10:29 AM, "Agda on behalf of Thorsten Altenkirch" <agda-bounces at lists.chalmers.se on behalf of Thorsten.Altenkirch at nottingham.ac.uk> wrote:
Hi guys,
I tried to be more principled when installing software on my new imac but I seemed to have messed something up.
When I try to open an agda file I get the error
File mode specification error: (file-error "Searching for program" "No such
file or directory" "agda")
I checked and agda is visible when I start a shell. The path is set via source ~/.ghcup/env which is in .bash_profile but to be sure I also copied it to (.bashrc and .profile). Maybe I am missing something
here?
It works when I add a line
(setq exec-path (cons "/Users/psztxa/.cabal/bin/" exec-path))
To .emacs but this shouldn’t be necessary, or?
Thorsten
This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment.
Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored
where permitted by law.
This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment.
Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored
where permitted by law.
More information about the Agda
mailing list