I'd think that the Updater plugin is intended to update the one jEdit installation
and configuration the Updater has been launched from.
So, the Updater plugin should ask the installer to:
- use the given jEdit settings directory
- use the given jEdit Home (resp. program) directory
- don't let the user change these directories
(See related request for installer #2878349)
Submitted | rschwenn - 2009-10-13 22:54:46 | Assigned | ezust |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | |
Resolution | None |
2017-12-30 16:46:35.109000 ezust |
- **assigned_to**: Alan Ezust |
---|---|
2017-12-30 16:51:27.759000 ezust |
What does it mean for the installer to use the given settings directory?
|
2017-12-30 16:52:42.753000 ezust |
the "installation directory" seems totally unnecessary as a user-configurable text
field in those options however, so it might make sense to remove it?
|