diff --git a/docs/CONFIG.md b/docs/CONFIG.md index 25f4b04c..609240d9 100644 --- a/docs/CONFIG.md +++ b/docs/CONFIG.md @@ -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. 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 diff --git a/docs/THEMING.md b/docs/THEMING.md index 7693bbd0..77584706 100644 --- a/docs/THEMING.md +++ b/docs/THEMING.md @@ -45,6 +45,13 @@ text editor. When an in-use theme file is saved while the application is running, it 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**: - API currently unstable: theme properties are often renamed, added or deleted.