Zergling_man/moment
Zergling_man/moment
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

CONFIG/THEMING.md: add info about manual reload

Browse Source
This commit is contained in:
miruka 2021-01-04 08:15:52 -04:00
parent c084db201a
commit f9d1ec6e8a
2 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
docs/CONFIG.md
View File

@ -69,6 +69,13 @@ When this file is saved while the application is running, the settings will
automatically be reloaded, except for some options which require a restart. automatically be reloaded, except for some options which require a restart.
The default `settings.py` indicates which options require a restart. The default `settings.py` indicates which options require a restart.
You can manually trigger a reload by updating the file's last change timestamp,
e.g. with the `touch` command:
```sh
touch ~/.config/mirage/settings.py
```
[1]: https://github.com/mirukana/mirage/tree/master/src/config/settings.py [1]: https://github.com/mirukana/mirage/tree/master/src/config/settings.py

7
docs/THEMING.md
View File

@ -45,6 +45,13 @@ text editor.
When an in-use theme file is saved while the application is running, it When an in-use theme file is saved while the application is running, it
will automatically be reloaded and changes will be seen immediatly. will automatically be reloaded and changes will be seen immediatly.
You can manually trigger a reload by updating the file's last change timestamp,
e.g. with the `touch` command:
```sh
touch ~/.config/mirage/settings.py
```
**Warnings**: **Warnings**:
- API currently unstable: theme properties are often renamed, added or deleted. - API currently unstable: theme properties are often renamed, added or deleted.