Emacs has a few ways to update environment variables (see https://www.gnu.org/software/emacs/manual/html_node/emacs/Environment.html), but IMHO they are not very practical if updating several variables — I always prefer to simply restart Emacs, or not to add anything to $PATH but to symlink files to somewhere in my PATH (when that approach is viable).
since you are using OSX, https://github.com/purcell/exec-path-from-shell might be useful to you. -- bruno cuconato On Mon, 16 Dec 2019 at 14:28, David Storrs <david.sto...@gmail.com> wrote: > > I just now updated to 7.5 from 7.3, then updated my .bashrc to have the > correct path. I'm using GNU Emacs in Terminal on OSX 10.11. > > > $ echo $PATH > [...stuff that isn't Racket...]:/Applications/Racket_v7.5.0.10/bin:[...stuff > that isn't Racket...] > > From a .rkt file: > C-c C-c > Welcome to Racket v7.3. > > ; Kill the Racket command server buffer > C-x C-k > > ; back to the .rkt file, try again > C-c C-c > Welcome to Racket v7.3. > > ; kill and restart emacs > C-x C-c > $ emacs > C-c C-c > Welcome to Racket v7.3. > > Killing and restarting Terminal and reloading Emacs from scratch finally > worked. > > Is there any way that I could have resolved this without getting quite so > nuclear? I googled around and could not find anything. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/CAE8gKodzUn8ZU4Yd2eV26xrBKyb0XW0mSBRNuj5WmE_ZtQW3MA%40mail.gmail.com. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAPWro-j6tkCN_VnDp2DLTp3-jcEuSFdXefM1DFApV9YTKqKyUA%40mail.gmail.com.
