diff options
| author | Michael Biebl <biebl@debian.org> | 2015-06-03 14:00:59 +0200 |
|---|---|---|
| committer | Michael Biebl <biebl@debian.org> | 2015-06-03 14:14:42 +0200 |
| commit | 9391a1c3d6c94c478b0016a81df3f874fd99260e (patch) | |
| tree | 3ad2ecd003af709737a1eded2fee7c60162dce36 /man/coredump.conf.xml | |
| parent | 36f5e964dedc01b685a30367b7db1fa4c71ff2f3 (diff) | |
systemctl: Use /usr/bin/editor if available
If the EDITOR environment variable is not set, the Debian policy
recommends to use the /usr/bin/editor program as default editor.
This file is managed via the dpkg alternatives mechanism and typically
used in Debian/Ubuntu and derivatives to configure the default editor.
See section 11.4 of the Debian policy [1].
Therefor prefer /usr/bin/editor over specific editors if available.
[1] https://www.debian.org/doc/debian-policy/ch-customized-programs.html
Diffstat (limited to 'man/coredump.conf.xml')
0 files changed, 0 insertions, 0 deletions