Partage local versus partage réseau
Le présent document traite d'une manière de partager un dossier d'un seul ordinateur entre plusieurs utilisateurs de cet ordinateur. Il ne traite pas du partage d'un dossier entre deux ou plusieurs ordinateurs d'un même réseau local. Pour plus d'informations à propos du partage de dossier sur un réseau local, consultez le document dédié au partage sur réseau.

Comment partager un dossier entre plusieurs utilisateurs d'un même ordinateur ?

Dans un environnement multi-utilisateur, il est parfois intéressant de disposer d'un dossier auquel tous peuvent accéder. Ainsi, tous les utilisateurs peuvent lire les fichiers contenus dans ce dossier, ainsi qu'y déposer des fichiers à partager avec les autres utilisateurs de l'ordinateur. Comment parvenir à ce résultat ?

Le présent document vous expose une manière de créer un dossier partagé entre plusieurs comptes d'un même ordinateur.

Postulat

Afin de bien comprendre la procédure, nous l'exposerons à l'aide d'un cas pratique. Pour ce faire, basons ici le cadre de l'expérience :

  • Trois comptes d'utilisateurs existent dans le système Ubuntu :
  • Le dossier à partager est /home/Partage/
  • John et Mary doivent
    • pouvoir afficher le contenu du dossier et lire tous les fichiers qu'il contient
    • pouvoir y écrire des nouveaux fichiers
    • pouvoir modifier les fichiers qui sont placés dans ce dossier
  • Rick ne doit pouvoir ni accéder aux fichiers de ce dossier de partage, ni lister le contenu du dossier

La procédure, sans explication

Afin que cette procédure soit valable pour l'ensemble des variantes de la distribution Ubuntu, nous effectuerons toute la procédure en mode console. Cette procédure doit être exécutée depuis le compte de John, puisqu'il est le seul à pouvoir accomplir des tâches administratives. Toutes les commandes ont été rassemblées en groupes afin de correspondre aux étapes de la description, ci-dessous.

john@ordinateur:~$ sudo -s
[sudo] password for john:     (entrez le mot de passe de John)
root@ordinateur:~# addgroup partageurs
root@ordinateur:~# adduser john partageurs
root@ordinateur:~# adduser mary partageurs

root@ordinateur:~# echo "umask 0002" >> /etc/profile

root@ordinateur:~# mkdir /home/Partage
root@ordinateur:~# chgrp -R partageurs /home/Partage
root@ordinateur:~# chmod -R g+rwx,o-rwx /home/Partage
root@ordinateur:~# chmod -R g+s /home/Partage
root@ordinateur:~# exit
exit
john@ordinateur:~$

Une fois cette procédure complétée, John et Mary doivent se déconnecter de leur session actuelle. Leur appartenance au groupe partageurs ainsi que leur nouveau masque utilisateur ne sont considérés qu'à la prochaine ouverture de session.

La procédure, avec explications

Création d'un groupe de partage et ajout des utilisateurs concernés au groupe de partage

La création d'un groupe de partage, l'ajout d'utilisateurs à ce groupe, la modification du masque utilisateur et la création du dossier de partage sont des tâches administratives. Elles doivent être accomplies par le compte système (root). Dans la session de l'utilisateur john, ouvrons un terminal. Exécutons ensuite la commande suivante, qui nous ouvrira une session en tant que compte système :

john@ordinateur:~$ sudo -s
[sudo] password for john:     (entrez le mot de passe de John)

La commande addgroup sert à créer un nouveau groupe d'utilisateurs. Ce groupe d'utilisateurs nous servira à identifier les utilisateurs habilités à accéder au dossier de partage : ceux qui feront partie de ce groupe y auront accès, alors que ceux qui n'en font pas partie n'y auront pas accès. Créons un groupe appelé partageurs :

root@ordinateur:~# addgroup partageurs

La commande adduser a deux fonctions : créer un nouveau compte d'utilisateur ou ajouter un compte d'utilisateur existant à un groupe d'utilisateurs existant. Dans le cas de cette procédure, c'est cette deuxième fonction qui nous intéresse. Exécutons une première fois la commande pour ajouter john au groupe partageurs. Puis, exécutons la commande une seconde fois pour ajouter mary au groupe partageurs.

root@ordinateur:~# adduser john partageurs
root@ordinateur:~# adduser mary partageurs

Désormais, John et Mary font partie du groupe d'utilisateurs partageurs. Rick n'en fait pas partie ; il ne pourra donc pas accéder au dossier de partage.

Modification du masque utilisateur par défaut

Le masque utilisateur (umask) est une propriété qui est utilisée par le système Ubuntu au moment de la création d'un nouveau fichier ou d'un nouveau dossier. Il sert à attribuer un ensemble de permissions par défaut à un fichier ou dossier, au moment de sa création. Les permissions attribuées par le masque utilisateur par défaut d'Ubuntu sont insuffisantes pour réaliser un dossier de partage comme nous l'entendons dans le postulat. Modifions le masque utilisateur par défaut du système Ubuntu :

root@ordinateur:~# echo "umask 0002" >> /root/.bashrc

Complément d'informations au lien suivant : droits attribués automatiquement à un fichier

la commande donnée ici n'est pas la même que celle donnée au-dessus :
root@ordinateur:~# echo "umask 0002" >> /etc/profile

J'ai utilisé la seconde (/root/.bashrc), ça marche bien chez moi.

Création du dossier de partage

Créons le dossier de partage :

root@ordinateur:~# mkdir /home/Partage

Attribuons à ce dossier de partage des droits suffisants pour permettre aux membres du groupe partageurs d'accéder à ce dossier. Pour ce faire, modifions le groupe propriétaire du dossier afin que celui-ci soit partageurs ; ceci s'effectue à l'aide de la commande chgrp. Puis, attribuons à ce dossier un maximum de permissions aux membres de partageurs et aucune permission pour ceux qui ne sont pas membres de partageurs ; ceci se réalise avec la commande chmod. Nous appliquons ces modifications de manière récursive : les modifications sont aussi appliquées aux possibles fichiers déjà présents dans le dossier.

root@ordinateur:~# chgrp -R partageurs /home/Partage
root@ordinateur:~# chmod -R g+rwx,o-rwx /home/Partage
"Permissions en ligne de commande" ne vaut-il pas mieux mettre :
root@ordinateur:~# chmod -R g+rwX,o-rwx /home/Partage

afin de ne pas rendre tous les fichiers et dossiers éxécutables ?

Enfin (et c'est là la partie la plus importante de toute cette procédure), attribuons le GID bit au groupe propriétaire du dossier de partage. Ce mode attribue automatiquement tout fichier créé dans le dossier de partage au groupe propriétaire du dossier de partage (dans notre cas, partageurs). Cette action s'effectue aussi avec la commande chmod. Tout comme précédemment, nous appliquons la modification récursivement :

root@ordinateur:~# chmod -R g+s /home/Partage

Limitation de cette méthode de partage

Notez toutefois que cette méthode de partage a une limite plutôt dérangeante : les droits suffisants pour le groupe partageurs ne s'appliquent automatiquement que sur les nouveaux fichiers créés dans le dossier de partage. Les fichiers déplacés dans ce dossier conservent leurs propriétaires et leur mode.

Par exemple : John, Mary et Jenny travaillent tous les trois sur un même projet d'étude. Ils doivent partager un même document de travail, Observations.odt, et doivent tous être en mesure de le modifier. John est la personne qui débute les observations ; il est celui qui crée le document Observations.odt original :

  • S'il crée le document directement dans le dossier de partage, la propriété de groupe est automatiquement attribuée à partageurs. Tous les membres du groupe partageurs pourront lire et modifier le document ;
  • S'il crée d'abord Observations.odt dans son dossier personnel puis le copie dans le dossier de partage, la propriété de groupe est automatiquement attribuée à partageurs pour la copie du document seulement. (La copie de Observations.odt devient alors la copie de travail du groupe.) Tous les membres du groupe partageurs pourront lire et modifier la copie de Observations.odt uniquement ;
  • Si John crée d'abord Observations.odt dans son dossier personnel puis le déplace dans le dossier de partage, la propriété de groupe originale est conservée. Par défaut, les membres du groupe partageurs auront accès en lecture au fichier Observations.odt, mais ils ne pourront pas le modifier.

Si plusieurs documents sont déplacés malencontreusement dans le dossier de partage, exécutez les deux commandes suivantes, depuis un compte d'administrateur, pour leur attribuer des droits suffisants et la propriété de groupe au groupe d'utilisateurs partageurs :

john@ordinateur:~$ sudo chgrp -R partageurs /home/Partage
john@ordinateur:~$ sudo chmod -R g+rwx,o-rwx /home/Partage

Prenez l'habitude de créer directement vos nouveaux fichiers à partager dans le dossier de partage ou de les y copier.

Une solution possible: bindfs

Le logiciel bindfs permet de monter un répertoire en imposant les droits. Par exemple pour que tous les fichiers soient en lecture/écriture pour tous:

bindfs --perms=o+rw somedir somedir 

Aller plus loin...

Créer plusieurs groupes de partage

Nouveau postulat : vous êtes un enseignant dans une école élémentaire. Dans votre salle de classe, vous disposez d'un seul ordinateur sous Ubuntu dans lequel chacun de vos 20 élèves a un compte d'utilisateur. Vous lancez un projet : vous séparez la classe en deux équipes. Chacune des équipes doit monter une revue de presse à propos d'un évènement de l'actualité, qu'elle exposera ensuite à l'autre moitié de la classe. Chaque élève traite individuellement d'un aspect de ce projet, mais les membres d'une même équipe mettent en commun le fruit de leur travail. Comme vous ne disposez que d'un seul ordinateur dans la classe, les élèves doivent se partager le temps d'utilisation du poste. Vous désirez donc que chaque élève ait accès à un dossier partagé avec les membres de son équipe, mais ne puisse accéder aux dossiers des autres équipes. Comment accomplir cela ?

Pour ce faire, il suffit de créer plusieurs groupes de partage et plusieurs dossiers de partage. Suivez la procédure ci-dessus, en changeant le nom du groupe de partage et le nom du dossier de partage pour chacune des quatre équipes d'élèves. Par exemple :

  • créons un grand dossier /projet/ à la racine du système de fichiers. Nous créerons des dossier projet1/ et projet2/ dans ce grand dossier ;
  • créons deux groupes de partage, equipe1 à equipe2 ;
  • insérons les élèves dans les bonnes équipes.
enseignant@ordinateurdeclasse:~$ sudo -s
[sudo] password for enseigant:     (entrez le mot de passe de l'enseignant)
root@ordinateurdeclasse:~# addgroup equipe1
root@ordinateurdeclasse:~# addgroup equipe2

root@ordinateurdeclasse:~# adduser simon equipe1
root@ordinateurdeclasse:~# adduser helene equipe1
root@ordinateurdeclasse:~# adduser romain equipe2
root@ordinateurdeclasse:~# adduser rachida equipe2
[...]

root@ordinateurdeclasse:~# echo "umask 0002" >> /etc/profile

root@ordinateurdeclasse:~# mkdir /projet
root@ordinateurdeclasse:~# mkdir /projet/projet1
root@ordinateurdeclasse:~# mkdir /projet/projet2

root@ordinateurdeclasse:~# chgrp equipe1 /projet/projet1
root@ordinateurdeclasse:~# chmod g+rwx,o-rwx /projet/projet1
root@ordinateurdeclasse:~# chmod g+s /projet/projet1

root@ordinateurdeclasse:~# chgrp equipe2 /projet/projet2
root@ordinateurdeclasse:~# chmod g+rwx,o-rwx /projet/projet2
root@ordinateurdeclasse:~# chmod g+s /projet/projet2

root@ordinateurdeclasse:~# exit
exit
enseignant@ordinateurdeclasse:~$

Ainsi, Simon et Hélène peuvent mettre en commun leur travail, mais ne peuvent voir ce qu'ont réalisé Romain et Rachida. De même, Romain et Rachida peuvent mettre en commun leur travail, mais n'ont pas accès au projet de Simon et Hélène.

Alternatives aux groupes : utiliser les «Access Control List»

Les Access Control List permettent une gestion très fine des droits d'utilisateurs et ne nécessitent pas d'être root. Néanmoins la mise en place peut paraître plus ardue.

Page sur les Access Control List

  • tutoriel/dossier_de_partage.txt
  • Dernière modification: Le 28/04/2018, 11:24
  • (modification externe)