diff options
author | Zoran Plesivcak <zplesiv@gmail.com> | 2020-11-08 10:40:13 +0000 |
---|---|---|
committer | Zoran Plesivcak <zplesiv@gmail.com> | 2020-11-08 10:40:13 +0000 |
commit | a8105b082f94729669d0509f07c98aa566c0278f (patch) | |
tree | 201df20c59811a75a683b4b2dd09830484818e67 /examples/plugin_hello_world.py | |
parent | e4d2f6ec877432382c4cf5b6ad58461aac3ae7af (diff) | |
download | ranger-a8105b082f94729669d0509f07c98aa566c0278f.tar.gz |
Allow $PAGER to contain spaces (handle pager flags)
This change is similar to: c826091a74e88102ca1795ab9798dd8b8498f653 . See the referenced commit for the explanation. Note that $PAGER is not a strictly better than "$PAGER". In the cases where the pager executable in PAGER contains spaces e.g. "/path with spaces/bin/less" the "$PAGER" works correctly and $PAGER doesn't. This occurrence is much less frequent than pager in PAGER containing flags, e.g. "less -R" which works correctly with $PAGER, but doesn't with "$PAGER". This change is a desirable trade-off.
Diffstat (limited to 'examples/plugin_hello_world.py')
0 files changed, 0 insertions, 0 deletions