Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] overwriting etc & jedit directories between RCs

Email Gateway (Aug 23 2022 at 08:52):

From: Pedro Sánchez Terraf <sterraf@famaf.unc.edu.ar>
Dear all,

I've been testing some release candidates and I found myself setting up
the PIDE over and over again for each version.

Is it safe, for instance, to copy the whole etc directory from
~/.isabelle/Isabelle2020-RC4/etc/ onto
 ~/.isabelle/Isabelle2020-RC5/etc/? Does the same holds for some config
files of jEdit, say "properties" or "perspective.xml"?

PST.-
cs.famaf.unc.edu.ar/~pedro/home_en
<https://cs.famaf.unc.edu.ar/~pedro/home_en.html>
El 8/4/20 a las 09:32, Makarius escribió:

Email Gateway (Aug 23 2022 at 08:52):

From: Makarius <makarius@sketis.net>
Normally yes, assuming that Isabelle/jEdit is presently not running.

Makarius

Last updated: Apr 19 2024 at 08:19 UTC