Bug #1943
RCP: X.X, change "user.home" management
Status: | New | Start date: | 11/25/2016 | |
---|---|---|---|---|
Priority: | Normal | Due date: | ||
Assignee: | - | % Done: | 0% |
|
Category: | Toolbox | Spent time: | - | |
Target version: | TXM 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().
History
#1 Updated by Sebastien Jacquot over 5 years ago
- Target version changed from TXM 0.8.0a (split/restructuration) to TXM 0.8.0
#2 Updated by Matthieu Decorde over 4 years ago
- Target version changed from TXM 0.8.0 to TXM X.X