contrib/debian/default-tools.rc
author Boris Feld <boris.feld@octobus.net>
Mon, 10 Jul 2017 17:10:56 +0200
changeset 33483 146c0371eadf
parent 32065 dc82c9777209
permissions -rw-r--r--
bookmark: use 'applychanges' for adding new bookmark
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
32065
dc82c9777209 debian: configure editor and pager to sensible-\1 by default
Augie Fackler <augie@google.com>
parents:
diff changeset
     1
[ui]
dc82c9777209 debian: configure editor and pager to sensible-\1 by default
Augie Fackler <augie@google.com>
parents:
diff changeset
     2
editor = sensible-editor
dc82c9777209 debian: configure editor and pager to sensible-\1 by default
Augie Fackler <augie@google.com>
parents:
diff changeset
     3
dc82c9777209 debian: configure editor and pager to sensible-\1 by default
Augie Fackler <augie@google.com>
parents:
diff changeset
     4
[pager]
dc82c9777209 debian: configure editor and pager to sensible-\1 by default
Augie Fackler <augie@google.com>
parents:
diff changeset
     5
pager = sensible-pager