Gestion des comptes à l'Ensimag

De Ensiwiki
Aller à : navigation, rechercher

Contenu des comptes étudiants

Chaque étudiant a à sa disposition des comptes sur plusieurs machines. Le contenu des comptes (i.e. les fichiers et répertoires qu'il contient) est partagé entre la plupart des machines (PC, machines virtuelles, ...). Voici ce que vous devez savoir pour bien travailler :

  • Le répertoire $HOME/ (qui s'appelle aussi ~/) est partagé entre tous les PCs sous Ensilinux, donc, par exemple, une modification du fichier $HOME/.bashrc sur un PC sera prise en compte sur tous les autres PCs.
  • Votre compte est limité par un quota de quelques Gigaoctets (variable selon les années). C'est largement suffisant pour faire vos TP et projets dans de bonnes conditions, mais faites attention à ne pas stocker de contenu trop volumineux.

Répertoires partagés entre étudiants

Pour travailler à plusieurs sur un TP, il peut être pratique d'avoir un répertoire partagé entre plusieurs étudiants, i.e. un répertoire où plusieurs utilisateurs Unix ont les droits en lecture et en écriture. On peut utiliser un tel répertoire pour héberger un gestionnaire de versions comme Git ou Mercurial. À l'Ensimag, il y a deux choses à savoir :

  • On ne peut pas donner la permission à un autre utilisateur sur le contenu de son $HOME
  • Sur les serveurs (telesun, ensibm, ...), un répertoire est dédié à cet usage : /equipes/. Tous les utilisateurs peuvent créer des sous-répertoires dans cet espace, et utiliser les ACLs (et le script autoriser-equipe) pour donner les droits à leurs coéquipiers.

La méthode recommandée est d'utiliser un gestionnaire de versions, mais on peut aussi travailler directement sur les fichiers du répertoire partagé (mais attention, on risque d'avoir des mauvaises surprises si on travaille à plusieurs en même temps).

Si on utilise un gestionnaire de versions, le serveur (telesun ou autre) est utilisé comme archive partagée (i.e. repository dans le cas de SVN, bare repository dans le cas de Git ou Mercurial). Dans cette utilisation, le serveur joue le même rôle que les hébergeurs comme github, bitbucket, google code... mais on ne travaille pas forcément sur la même machine : l'arbre de travail (checkout avec SVN, ou clone avec Git ou Mercurial) sera typiquement mis dans un espace privé, dans votre $HOME, sur un PC de l'école ou sur votre machine personnelle.