author | Jun Wu <quark@fb.com> |
Wed, 11 Oct 2017 17:38:20 -0700 | |
changeset 34640 | 68ed3b4f86ef |
parent 32065 | dc82c9777209 |
permissions | -rw-r--r-- |
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 |