.jedit (yes, it begins with a period) and is installed under your home directory. To find out where this is, look at the activity log, using Utilities>Troubleshooting>Activity Log. There is more information on this in the jEdit User's Guide. For jEdit 4.2, see Chapter 7, "Customizing jEdit" in the section "The jEdit Settings Directory". Online, this is posted here
.jedit settings directory (see above). This will include not just jEdit properties/configuration, but also the activity log, recent files list, plugin jars and settings, and so on.
The jEdit program directory does not need to be backed up, unless you have added macros or startup scripts. If you have not, the program directory can be re-installed from an installation package; see Installing jEdit for details about (re)installing jEdit.
When you want to restore jEdit from a complete backup
.jedit settings directory back into its original location
.jedit settings directory tree, but exclude the /jars directory and any subdirectories
macros and modes directory if you are in the habit of adding macros or edit modes that are not available online
jars in the jEdit settings directory, as you can reinstall plugins pretty easily from the Plugin Manager--assuming you have a good Internet connection during the reinstall.
Picking and choosing individual jEdit files to backup is probably not a good idea. In a recent discussion (October 2004) on the jEdit developer's mailing list, nobody recommended this approach.
Also, note that a backup should work properly if you reinstall to the same, or very similar operating system and version of Java. If you try to backup on Windows and reinstall on Linux, you may need to fix file and directory names in the jEdit settings.
A mailing list discussion brought up a couple of other points (from Alberto Romero)
| Topic HowToBackUpJEdit . { Edit | Attach | Ref-By | Printable | Diffs | r1.2 | > | r1.1 | More } |
|
Revision r1.2 - 01 Nov 2004 - 18:21 GMT - Patrick Wright Parents: Web Home |
Copyright © 1999-2011 by the contributing authors.
All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding jEdit Community Wiki? Send feedback. |