diff options
author | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-02-09 10:33:48 +0100 |
---|---|---|
committer | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-02-09 10:33:48 +0100 |
commit | 1a2fbe153f85f3cffea77b7ae3064ec35eb4dcdc (patch) | |
tree | a216bcf484b6eb505baf02e3831f8600aa7d9d74 /doc/options.xml | |
parent | 3b3bea89c9b426f3de11ff7a181a9dfb98003d7f (diff) |
machines/sternenseemann/wolfgang: fix alternate scroll for git diff
Even if GIT_PAGER is set to less alone, git diff will pass extra options to less, so we have to explicictly set the LESS="..." environment variable to change this behavior. Specifically we don't want -F which prevents less from entering alternate mode which enables alternate scrolling in foot.
Diffstat (limited to 'doc/options.xml')
0 files changed, 0 insertions, 0 deletions