Bug #2497

The "user home directory" is not managed anymore

Ajouté par Sebastien Jacquot il y a plus de 6 ans. Mis à jour il y a plus de 6 ans.

Statut:New Début:01/02/2019
Priorité:Normal Echéance:
Assigné à:- % réalisé:

0%
Catégorie:Preferences Temps passé: -
Version cible:TXM 0.X.X

Description

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.

QUESTIONS:
- 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

SOLUTIONS:
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

Historique

#1 Mis à jour par Sebastien Jacquot il y a plus de 6 ans

  • Description mis à jour (diff)

#2 Mis à jour par Matthieu Decorde il y a plus de 6 ans

  • Version cible changé de TXM 0.8.0 à TXM 0.X.X

Formats disponibles : Atom PDF