Package: sudo Version: 1.9.10-3 Severity: minor -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512
Hi, sudo 1.9.10-1 has adopted some changes from Ubuntu, including the activation of the --enable-admin-flag configuration option. At the moment, it does not seem valuable to have it enabled in Debian since all it does is creating the empty sudo_as_admin_successful hidden file in the home directory of the user calling sudo. What makes this option interesting in Ubuntu is this code snippet in /etc/bash.bashrc: if [ ! -e "$HOME/.sudo_as_admin_successful" ] && [ ! -e "$HOME/.hushlogin" ] ; then case " $(groups) " in *\ admin\ *|*\ sudo\ *) if [ -x /usr/bin/sudo ]; then cat <<-EOF To run a command as administrator (user "root"), use "sudo <command>". See "man sudo_root" for details. EOF fi esac fi Until bash in Debian provides this, I propose that we drop this configuration option (setting 'Defaults !admin_flag' in /etc/sudoers would work too). If this is acceptable to you, I can send a merge request. Thanks for your work on sudo, Vincent -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQSRJQjHKbAUfuoc+DAQn1qAt/bgAQUCYpj12wAKCRAQn1qAt/bg AShHAQCWXBDkaGr9XZPgNOz9ii1mgNwIbOj9clrHrWGWx+ExAgEAwWI1KKjxLSFE 94B2e6FleH9+DdDut1ojgglgyWLrVwA= =vOFd -----END PGP SIGNATURE-----