Bug #2497

The "user home directory" is not managed anymore

Added by Sebastien Jacquot over 3 years ago. Updated over 3 years ago.

Status:New Start date:02/01/2019
Priority:Normal Due date:
Assignee:- % Done:


Category:Preferences Spent time: -
Target version:TXM X.X


Since the RCP workspace directory is now set at launching time (.bat, .sh) with the "data" argument (to TXMHOME/corpora), the user txm home directory preference is not managed anymore, but still visible in the advanced preference page.

- is it possible to dynamically set the workspace ("data" launcher argument) at TXM starting from a preference rather than setting it through the launcher?
- then, is it possible to dynamically switch the workspace?
- need some tests with the new setup functionnality of external or networked TXMHOME directory

a) remove this preference
b.1) if possible, get the path from the preference node and dynamically set it at Toolbox initialization (TBX layer to be compatible with TXM GWT)
b.2) when this preference change, move all the content of directory to the new path. See the "Switch Workspace" method of Eclipse


#1 Updated by Sebastien Jacquot over 3 years ago

  • Description updated (diff)

#2 Updated by Matthieu Decorde over 3 years ago

  • Target version changed from TXM 0.8.0 to TXM X.X

Also available in: Atom PDF