Defaults syslog=auth
Defaults>root !set_logname
Defaults:FULLTIMERS !lecture
Defaults@SERVERS log_year, logfile=/var/log/sudo.log
Defaults!PAGERS noexec

User_Alias FULLTIMERS = millert, mikef, dowdy
Cmnd_Alias PAGERS = /usr/bin/more, /usr/bin/pg, /usr/bin/less
Host_Alias SERVERS = primary, mail, www, ns

FULLTIMERS ALL = NOPASSWD: ALL