Bug #1943
RCP: X.X, change "user.home" management
Statut: | New | Début: | 25/11/2016 | |
---|---|---|---|---|
Priorité: | Normal | Echéance: | ||
Assigné à: | - | % réalisé: | 0% |
|
Catégorie: | Toolbox | Temps passé: | - | |
Version cible: | TXM 0.X.X |
Description
FR
Parfois System.getProperty(“user.home”) est faux (ex : certaines configurations de salle de cours).
Solution¶
- Faire Toolbox.getUserHome() : retourne le répertoire parent de TXMHOME si il existe.
- Remplacer System.getProperty(“user.home”) par Toolbox.getUserHome().
Historique
#1 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
#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