mirror of
https://github.com/sudo-project/sudo.git
synced 2025-08-29 13:28:10 +00:00
Avoid duplicate directories if vardir and rundir are the same.
This commit is contained in:
parent
a9a7768d56
commit
4831eeaac2
4
sudo.pp
4
sudo.pp
@ -12,7 +12,7 @@ limited root privileges to users and log root activity. \
|
|||||||
The basic philosophy is to give as few privileges as possible but \
|
The basic philosophy is to give as few privileges as possible but \
|
||||||
still allow people to get their work done."
|
still allow people to get their work done."
|
||||||
vendor="Todd C. Miller"
|
vendor="Todd C. Miller"
|
||||||
copyright="(c) 1993-1996,1998-2013 Todd C. Miller"
|
copyright="(c) 1993-1996,1998-2014 Todd C. Miller"
|
||||||
sudoedit_man=`echo ${pp_destdir}$mandir/*/sudoedit.*|sed "s:^${pp_destdir}::"`
|
sudoedit_man=`echo ${pp_destdir}$mandir/*/sudoedit.*|sed "s:^${pp_destdir}::"`
|
||||||
sudoedit_man_target=`basename $sudoedit_man | sed 's/edit//'`
|
sudoedit_man_target=`basename $sudoedit_man | sed 's/edit//'`
|
||||||
|
|
||||||
@ -267,7 +267,7 @@ still allow people to get their work done."
|
|||||||
$libexecdir/sudo/* $shlib_mode optional
|
$libexecdir/sudo/* $shlib_mode optional
|
||||||
$sudoersdir/sudoers.d/ 0750 $sudoers_uid:$sudoers_gid
|
$sudoersdir/sudoers.d/ 0750 $sudoers_uid:$sudoers_gid
|
||||||
$rundir/ 0711 root:
|
$rundir/ 0711 root:
|
||||||
$vardir/ 0711 root:
|
$vardir/ 0711 root: ignore-others
|
||||||
$docdir/ 0755
|
$docdir/ 0755
|
||||||
$docdir/sudoers2ldif 0755 optional,ignore-others
|
$docdir/sudoers2ldif 0755 optional,ignore-others
|
||||||
%if [deb]
|
%if [deb]
|
||||||
|
Loading…
x
Reference in New Issue
Block a user