diff options
| author | Dylan Baker <dylan@pnwbakers.com> | 2017-06-16 15:57:25 -0700 |
|---|---|---|
| committer | Dylan Baker <dylan@pnwbakers.com> | 2017-07-10 17:04:06 -0700 |
| commit | b4cb1bd2692277b3d722733dfcca1322ffb6d45a (patch) | |
| tree | c51bf988965fcda546ea97547d49e026b5887665 /docs | |
| parent | 86186a242c11fcbc501e7afc791a50187e0dd574 (diff) | |
Add a reload command
This command allows the configuration to be reloaded while alot is
running.
Fixes #1046
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/source/usage/modes/global.rst | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/source/usage/modes/global.rst b/docs/source/usage/modes/global.rst index 066acde7..6e99478b 100644 --- a/docs/source/usage/modes/global.rst +++ b/docs/source/usage/modes/global.rst @@ -104,6 +104,13 @@ The following commands are available globally refresh the current buffer +.. _cmd.global.reload: + +.. describe:: reload + + Reload all configuration files + + .. _cmd.global.pyshell: .. describe:: pyshell |