#723993 super: diffrence between docs and behavior on specifing global users

Package:
super
Source:
super
Description:
Execute commands setuid root
Submitter:
Ben Hildred
Date:
2015-09-17 06:18:03 UTC
Severity:
normal
#723993#5
Date:
2013-09-21 23:56:41 UTC
From:
To:
Dear Maintainer,

In the manpage for super.tab there is the example:
 :global   jan <> !@+badhosts

This example does not work, and results in the error:
super (lines 17..29 in file `/etc/super.tab'):
        Internal error -- unrecognized global condition <jan>

:global appears to require the user~ prefix for all global users.

The right behavior? the documented shorthand is easier to type, but the
longhand could catch more errors.