Re: [ jEdit-devel ] What files to backup?

[Lee T. <le...@le...>]

All I do is back up the whole $user.home/.jedit directory.  I have never 
had to pick specific files.

HTH
Lee

Patrick Wright wrote:
> Hi folks
> 
> Looks like it's that time of year again. Wind is picking up, mornings 
> are chilly, you can smell the crisp of Fall in the air.
> 
> Time to re-install my copy of Windows. *sigh*
> 
> Wondering what files in jEdit I need to backup in order to propertly 
> recover a re-install afterwards.
> 
> For jEdit itself, would include (from $user.home/.jedit)
>   properties
>   ? history
>   ? recent.xml
>   ? abbrevs
>   ? session
>   ? server
>   my own macros
> 
> Slava, can you give feedback?
> 
> For plugins
>   most properties should be picked up from jEdit properties file
> 
>   ProjectViewer - project config files?
>     $user.home/projectviewer/**
>   XML - catalogs?
>   JavaStyle
>     $user.home/javastyle/**
>   other plugins
> 
> Plugin authors/maintainers, can you give feedback?
> 
> If we can put a list together, I could write a macro or Ant script to 
> create the backup, also will document on the Wiki.
> 
> 
> Your help is much appreciated!
> Patrick
> 
> 
> -------------------------------------------------------
> This SF.net email is sponsored by: IT Product Guide on ITManagersJournal
> Use IT products in your business? Tell us what you think of them. Give us
> Your Opinions, Get Free ThinkGeek Gift Certificates! Click to find out more
> http://productguide.itmanagersjournal.com/guidepromo.tmpl