no more vagrant

Author: willdurand

src/images/vm-network.png

@@ -4,151 +4,9 @@ Introduction
 Ce guide d'introduction est écrit en français, mais ne vous y habituez pas trop,
 les sujets de TPs sont écrits en anglais.
 
-* [La Machine Virtuelle](#la-machine-virtuelle)
-  * [Installation](#installation)
-  * [Démarrage](#d%C3%A9marrage)
-  * [Arrêt](#arr%C3%AAt)
-  * [Accès SSH](#acc%C3%A8s-ssh)
-  * [Dossiers Partagés](#dossiers-partag%C3%A9s)
-  * [Problèmes Rencontrés](#probl%C3%A8mes-rencontr%C3%A9s)
 * [Guide de survie avec Git](#guide-de-survie-avec-git)
 * [Guide de survie avec `vi`](#guide-de-survie-avec-vi)
 
-
-Vous allez utiliser une **machine virtuelle** préconfigurée avec
-[Puppet](http://puppetlabs.com/). On parle également de "VM" pour désigner ce
-type de machine, acronyme de l'anglais **V**irtual **M**achine.
-
-Cette machine inclut tout le necessaire pour faire fonctionner vos TPs et
-comporte les programmes suivants :
-
-* PHP 5.5
-* Apache2
-* MySQL
-* Git
-* et divers outils
-
-
-La Machine Virtuelle
---------------------
-
-Tous les TPs se dérouleront dans une machine virtuelle _headless_, c'est-à-dire
-sans interface graphique.
-Cette machine est pilotée par [Vagrant](http://www.vagrantup.com), un programme
-en Ruby qui abstrait la configuration et la manipulation de la machine.
-
-Tout se passe comme si la machine virtuelle était un serveur accessible
-uniquement en réseau, via un tunnel `ssh`.
-
-Votre machine redirige toutes les connexions entrantes sur le port `8080` vers
-le port `80` de la machine virtuelle comme le montre la figure ci-dessous :
-
-![schema réseau de l'installation](../images/vm-network.png)
-
-De la même manière, les ports `8081` et `8082` redirigent respectivement vers
-les ports `81` et `82` de la machine virtuelle.
-
-
-### Installation
-
-Vous allez installer la configuration de Vagrant dans le répertoire
-`/home/disques/$USER/php-vm`.
-
-Dans la suite du document, nous utiliserons `DOCROOT` pour parler de ce chemin.
-
-Vous êtes invité à définir une variable d'environnement :
-
-    $ export DOCROOT="/home/disques/$USER/php-vm"
-
-Vous pouvez ajouter cette ligne à votre fichier `.bashrc`.
-
-Maintenant, récupérez la configuration de la machine virtuelle :
-
-    $ git clone git://github.com/willdurand-edu/php-vm.git $DOCROOT
-    $ cd $DOCROOT
-
-En listant le répertoire, vous devez avoir une sortie similaire à celle-ci :
-
-    DOCROOT $ ls -la
-
-    total 32
-    drwxr-xr-x  12 william  staff   408B  6 jan 15:41 ./
-    drwxr-xr-x   9 william  staff   306B  4 jan 16:17 ../
-    drwxr-xr-x  16 william  staff   544B  6 jan 09:35 .git/
-    -rw-r--r--   1 william  staff    20B  4 jan 14:55 .gitignore
-    -rw-r--r--   1 william  staff   111B  1 jan 19:18 hiera.yaml
-    drwxr-xr-x   7 william  staff   238B  6 jan 15:49 projects/
-    drwxr-xr-x   5 william  staff   170B  1 jan 19:18 puphpet/
-    -rw-r--r--   1 william  staff   2,1K  4 jan 16:11 README.md
-    -rw-r--r--   1 william  staff   1,7K  6 jan 02:01 Vagrantfile
-
-La configuration est située dans le fichier `Vagrantfile` et la recette
-d'installation du serveur est située dans le dossier `puphpet/`.
-
-Pour terminer l'installation de la machine virtuelle, lancer la commande
-suivante :
-
-    $ vagrant up
-
-Ouvrir un navigateur, et aller à l'adresse
-[http://localhost:8080/](http://localhost:8080/) pour vérifier que tout
-fonctionne correctement.
-
-### Démarrage
-
-    $ vagrant up
-
-Oui, c'est bien la même commande que pour installer la machine virtuelle. En
-fait, cette commande est toujours celle qui permet d'utiliser la VM, qu'elle
-soit déjà installée ou non. Il est inutile d'avoir deux commandes pour obtenir
-le même résultat, ce que l'on veut au bout du compte, c'est pouvoir utiliser la
-VM.
-
-### Arrêt
-
-    $ vagrant halt
-
-**Note :** Merci de bien éteindre la machine virtuelle à la fin de la séance.
-
-### Accès SSH
-
-    $ vagrant ssh
-
-Une fois dans la machine virtuelle, vous pouvez prendre les droits `root` via
-`sudo`, mais est-ce bien utile ? :-)
-
-### Dossiers Partagés
-
-Des dossiers sont partagés entre votre machine et la machine virtuelle. Vous
-trouverez le détail complet ici :
-[https://github.com/willdurand-edu/php-vm#filesystem-mapping](https://github.com/willdurand-edu/php-vm#filesystem-mapping).
-
-Tous les fichiers que vous éditez dans ce répertoire seront également modifiés
-dans la machine virtuelle.
-
-### Problèmes Rencontrés
-
-##### Unable To Connect To Github.com
-
-Vous obtenez le message suivant lors du `git clone` :
-
-    fatal: unable to connect to github.com:
-    github.com[0: 207.97.227.239]: errno=Connexion terminée par expiration du délai d'attente
-
-Vous avez probablement un proxy (Auversup?) qui empêche d'atteindre GitHub de
-manière classique. Remplacez `git://` par `https://` dans l'URL du dépôt :
-
-    $ git clone https://github.com/willdurand-edu/php-vm.git
-
-##### No Input File Specified
-
-Vous obtenez l'erreur **No input file specified**, c'est probablement un problème
-de permissions sur vos fichiers. Pour corriger, se placer dans le dossier de
-votre projet sur la machine virtuelle et exécuter les deux commandes suivantes :
-
-    $ find * -type f -exec chmod 644 "{}" ";"
-    $ find * -type d -exec chmod 755 "{}" ";"
-
 Guide de survie avec Git
 ------------------------