Package: cvs
Version: 2:1.12.13+real-4
Severity: normal
Tags: patch
According to Debian Policy (11.4. Editors and pagers), if EDITOR environment
variable is not set, programs that launch an editor should use
`/usr/bin/editor'.
A simple patch to use /usr/bin/editor is attached.
BTW, /bin/ed is
YOSHINO Yoshihito dixit:
A simple patch to use /usr/bin/editor is attached.
Thanks, will be applied.
BTW, /bin/ed is not always available on Debian systems, since package ed has
priority optional.
Hrm. It should be IMHO. (But then, I come back here from the Unix world…)
bye,
//mirabilos
--
2 matches
Mail list logo