[gull] Différence entre user et users

[Anne Possoz]

> Bonjour,
> 
> En relisant man mount je suis resté bloqué sur les deux paragraphes suivants:
> 
> user   Allow  an  ordinary  user  to mount the file system.  The
>                      name of the mounting user is written to mtab so  that  he
>                      can  unmount  the file system again.  This option implies
>                      the options noexec, nosuid, and nodev (unless  overridden
>                      by   subsequent   options,   as   in   the   option  line
>                      user,exec,dev,suid).
> 
> users  Allow every user to mount and unmount  the  file  system.
>                     This option implies the options noexec, nosuid, and nodev
>                     (unless overridden  by  subsequent  options,  as  in  the
>                     option line users,exec,dev,suid).
> 
> Je ne vois pas bien quelle différence il y a entre ces deux options. Ais-je 
> raison de penser qu'il n'y en a que dans un système réellement 
> multi-utilisateurs, dans lequel "users" autorise b à démonter une partition 
> montée par a, alors que "user" ne permet qu'à celui qui a monté la partition 
> de la démonter?

Cette info complémentaire de man éclaire:

       For  more details, see fstab(5).  Only the user that mounted a filesys-
       tem can unmount it again.  If any user should be able to unmount,  then
       use users instead of user in the fstab line.  The owner option is simi-
       lar to the user option, with the restriction that the user must be  the
       owner  of  the  special  file. This may be useful e.g. for /dev/fd if a
       login script makes the console user owner of this device.

Tu as donc bien compris, amha.

					Anne