settings: avoid syncing when cola.sync is configured to false
commit69e32f0d42d86e2ff62a2341edc460d2c044ef3f
authorDavid Aguilar <davvid@gmail.com>
Fri, 29 Mar 2024 09:29:14 +0000 (29 02:29 -0700)
committerDavid Aguilar <davvid@gmail.com>
Fri, 29 Mar 2024 09:37:39 +0000 (29 02:37 -0700)
treefe05c5b26ba3d58bed45f4aa606892e4562756a4
parente7edb2bbda9e56d4e0d1458822c49488998c6e18
settings: avoid syncing when cola.sync is configured to false

We can now inhibit the use of `os.sync()` using `git config`:

    git config --global cola.sync false

Resolves: #1305
Reported-by: @installgentoo via github
Signed-off-by: David Aguilar <davvid@gmail.com>
CHANGES.rst
cola/settings.py
cola/widgets/standard.py
docs/git-cola.rst