| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-02-08 | Use wrapper scripts that set ENSENSO_INSTALL. | Maarten de Vries | |
| The scripts set ENSENSO_INSTALL to "$XDG_CONFIG_HOME/ensenso", with a fallback to "$HOME/.config/ensenso". This way, the settings files are saved in the home folder instead of /opt. This *may* break stuff if the SDK also expects other things to reside under ENSENSO_INSTALL. | |||