Consignes pour installer l'environnement de
    travail en PF et en LT
  (filière INFO4)
  
    - 
      À faire une fois :
      
	- 
	  Installer docker sur votre machine Linux ou MacOS :
 https://docs.docker.com/install/
 Choisissez dans le menu de gauche votre distribution ;
	  attention à bien choisir la version "community" et pas EE.
 
- IMPORTANT : ajouter votre login au groupe docker :
 
	    sudo usermod -a -G docker $USER
	  
 Vous pouvez vérifier si vous êtes dans ce groupe à l'aide degroups, mais attention, cela n'est pris en
	  compte qu'après s'être re-logué.
 
- 
	  Se déconnecter puis se reconnecter sur sa machine.
 Si la
	  suite des opérations ne fonctionne pas, il peut être utile
	  de redémarrer complètement votre machine.
 
 
 
- 
      À faire à chaque fois :
      
	- 
	  Avez-vous effectué les points 1, 2 et 3 ci-dessus ? Sinon,
	  reprenez à l'étape adéquate.
	
- 
	  Pour utiliser l'image : lancer ce
	  script.
 
 Attention, à la première utilisation, la machine virtuelle est
	  téléchargée, ce qui prend du temps et demande une bonne
	  connexion réseau (donc par exemple, pas tous en même temps à la
	  fac en début de TP).
 
- 
	  Si votre docker fonctionne une séance puis cesse de
	  fonctionner, il faut probablement mettre l'image à jour :
 docker pull jahierwan/ricm-pf-tools
 De manière générale il est bon de taper cette commande de
	  temps à autre afin d'être sûr de disposer de la dernière
	  version de l'environnement de travail.