[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