Todd C. Miller 635445d471 Transparently handle the "sudo sudoedit" problem. ...

Some admin are confused about how to give users sudoedit permission
and many users try to run sudoedit via sudo instead of directly.
If the user runs "sudo sudoedit" sudo will now treat it as plain
"sudoedit" after issuing a warning.  If the admin has specified a
fully-qualified path for sudoedit in sudoers, sudo will treat it
as just "sudoedit" and match accordingly.  In visudo (but not sudo),
a fully-qualified path for sudoedit is now treated as an error.

2019-11-05 15:18:34 -07:00

..

group_file

We haven't needed -I$(top_srcdir) for a long time.

2019-11-02 12:00:04 -06:00

sample

We haven't needed -I$(top_srcdir) for a long time.

2019-11-02 12:00:04 -06:00

sudoers

Transparently handle the "sudo sudoedit" problem.

2019-11-05 15:18:34 -07:00

system_group

We haven't needed -I$(top_srcdir) for a long time.

2019-11-02 12:00:04 -06:00