Feature #1632
RCP: X.X, move TXM home directory
| Statut: | New | Début: | 22/12/2015 | |
|---|---|---|---|---|
| Priorité: | Normal | Echéance: | ||
| Assigné à: | - | % réalisé: | 0% |
|
| Catégorie: | Preferences | Temps passé: | - | |
| Version cible: | TXM 0.X.X |
Description
Currently, it is cumbersome to configure TXM home directory path to a different place as the one set at TXM installation time (for example to share corpora setup between different machines or because of limited access rights on guarded self service computers). A FAQ entry provides a procedure to help: a) move the directory to another place b) change TXM advanced settings to point to that directory c) re-import or re-load all corpora. The c) stage is the more cumbersome to the user.
Solution¶
- A) re-use the TXM code to backup corpora at TXM re-install to help the user to automaticaly do the c) stage when she wants to change the TXM home directory location
- B) change the TXM Advanced settings UI scenario in the following way:
- remove the '/TXM' suffix of the TXM home directory path in the 'TXM home directory' field value
- add code of A) to the code that is called when the field is updated
Historique
#1 Mis à jour par Serge Heiden il y a presque 10 ans
- Description mis à jour (diff)
#2 Mis à jour par Serge Heiden il y a presque 10 ans
- Description mis à jour (diff)
#3 Mis à jour par Serge Heiden il y a presque 10 ans
- Description mis à jour (diff)
#4 Mis à jour par Sebastien Jacquot il y a plus de 7 ans
- Version cible changé de TXM 0.8.0a (split/restructuration) à TXM 0.8.0
#5 Mis à jour par Matthieu Decorde il y a plus de 6 ans
- Version cible changé de TXM 0.8.0 à TXM 0.X.X