Agreed. It is acceptable that a plain "sudo" refuses to work in such a case. Commands "sudo -k" and "sudo -K" should still work, as stated.
Agreed. It is acceptable that a plain "sudo" refuses to work in such a case. Commands "sudo -k" and "sudo -K" should still work, as stated.