Menu
▾
▴
[ jEdit-devel ] [ jedit-Feature Requests-2991567 ] Configurations file in Dropbox?
|
From: SourceForge.net <no...@so...> - 2012-01-20 19:31:55
|
Feature Requests item #2991567, was opened at 2010-04-23 14:54 Message generated for change (Comment added) made by ezust You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=350588&aid=2991567&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None >Status: Closed >Resolution: Works For Me Priority: 5 Private: No Submitted By: zimbrana () Assigned to: Nobody/Anonymous (nobody) Summary: Configurations file in Dropbox? Initial Comment: Can I specify the configuration files location? Ideally I want to be able to have my Windows jEdit point to C:\Dropbox\jedit\config.txt and my OSX jEdit point to /Dropbox/jedit/config.txt etc. That way if I make a change to my user settings on OSX, then when I go back to Windows it will be there too. I can see some issues with this... i.e. that not all options are cross platform I presume. This gets complicated. I coudn't quite work out a way to have all the standard settings I want to get propagated on all versions of jEdit on all my different platforms... any ideas? I did see 'portable jEdit' but it doesn't look like it's maintained any more. Thanks :) ---------------------------------------------------------------------- >Comment By: Alan Ezust (ezust) Date: 2012-01-20 11:31 Message: file paths are saved differently to settings between windows and non-windows so any property with a path will be invalid when you switch between those two OSs. Unless we totally change the way we store/retrieve path names to/from settings on Windows, switching will always cause problems. You just need to keep separate your windows and non-windows settings. In fact, other (non-path) settings on Mac OSX may not be appropriate on windows, especially keyboard shortcuts, font/look and feel settings, etc... The modifier keys might be differently mapped/used. Fortunately, keymaps (new feature in jEdit 5.0) will alleviate that situation. So in answer to your question, sure, you can store your configuration in dropbox, just keep a separate directory for common windows and non-windows settings. ---------------------------------------------------------------------- Comment By: Robert Schwenn (rschwenn) Date: 2010-04-24 02:33 Message: Another approach was to move important settings to jEdit's program directory: 1. All settings of Global Option pane and most in Plugin Option pane are saved to the "properties" file. Important properties that should apply to all users of one jEdit installation can be separated (manually) to anyname.props files and placed into the JEDIT_HOME\properties directory. For example, I have a shortcuts.props file where all my non-standard shortcuts are assigned. I can delete my user settings directory, and at next jedit start all my shortcuts are working... 2. There are some plugin configuration items, that can't be made centralized, i.e. Console Commando files and Session files. Also ProjectViewer seems to maintain some only user related settings... ---------------------------------------------------------------------- Comment By: Björn Kautler (vampire0) Date: 2010-04-23 19:37 Message: I think from jEdit core point of view you should be able to do this easily with the --settings= command line switch (try "jedit -usage"). Most of the core properties should all be cross-platform safe if I'm not completely wrong. You just may be in trouble for properties where you give an absolute path, or with some plugins like QuickNotepad which also saves its file in use as absolute path. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=350588&aid=2991567&group_id=588 |