Feature #1632
Mis à jour par Serge Heiden il y a presque 10 ans
Currently, it is cumbersome to configure TXM home corpora directory path to at 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). time. A FAQ entry provides a procedure to help: procedure: a) move the directory to another place b) change TXM advanced settings to point to for that directory c) re-import or re-load all corpora. The c) stage is the more cumbersome to the user.
h3. 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
h3. 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