diff options
| author | Moritz Haase <Moritz.Haase@bmw.de> | 2022-03-26 18:10:58 +0100 |
|---|---|---|
| committer | Jesse Duffield <jessedduffield@gmail.com> | 2022-03-27 10:14:33 +1100 |
| commit | 240483953f708f538b3396fa9e21069c1461137c (patch) | |
| tree | b41fdcc02e1b128ea5d4cdd6374a5e4f48829f05 /docs | |
| parent | 51baa8c17dddd59b4640aec10758dafb586a612e (diff) | |
config: Add option 'git.autoRefresh' to en-/disable auto-refresh
Adds a new 'autoRefresh' option to the 'git' config section that allows user to
disable auto-refresh (defaults to on). If auto-refresh is enabled, the
refreshInterval is now checked before starting the timer to prevent crashes when
it is non-positive.
Fixes #1417
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Config.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/Config.md b/docs/Config.md index aac7f0349..951686073 100644 --- a/docs/Config.md +++ b/docs/Config.md @@ -73,6 +73,7 @@ git: showGraph: 'when-maximised' skipHookPrefix: WIP autoFetch: true + autoRefresh: true branchLogCmd: 'git log --graph --color=always --abbrev-commit --decorate --date=relative --pretty=medium {{branchName}} --' allBranchesLogCmd: 'git log --graph --all --color=always --abbrev-commit --decorate --date=relative --pretty=medium' overrideGpg: false # prevents lazygit from spawning a separate process when using GPG @@ -84,7 +85,7 @@ os: editCommandTemplate: '{{editor}} {{filename}}' openCommand: '' refresher: - refreshInterval: 10 # file/submodule refresh interval in seconds + refreshInterval: 10 # File/submodule refresh interval in seconds. Auto-refresh can be disabled via option 'git.autoRefresh'. fetchInterval: 60 # re-fetch interval in seconds update: method: prompt # can be: prompt | background | never |