The Coq mailing list

[Ian Zimmerman <itz AT very.loosely.org>]

On 2020-03-23 20:17, Jason -Zhong Sheng- Hu wrote:

> it's also more convenient to switch between switches in emacs too.

You got my attention there, but what do you mean?

My experience has been rather the opposite.  If I have multiple
switches, I get confused all the time about which is the current one for
Emacs.  It may be relevant that I'm using Emacs the server way:  I start
it once when I start my X11 session, and then I just connect to it with
emacsclient.  So, since opam depends on environment variables to know
about the current switch, what matters is the current switch at the
start session time.

This reliance on the environment may have been a mistake; it is at least
possible to imagine a different design where the current switch is
defined by a symlink (or a simulated symlink on systems that lack real
ones).  Then again, there is an advantage to the environment way too: it
is possible to have two sessions with different switches active at once.

-- 
Ian