#!/bin/bash

chemin=`pwd`
wget http://localhost${chemin:8}/index.php -q -O /tmp/index.html
 if [ $? -ne 0 ]
# Si la commande wget a renvoyé une erreur   …
	    then 
		echo "Erreur au téléchargement de http://localhost/${chemin:8}/index.html."
	    else 
# Si la commande wget n’a pas renvoyé d’erreur   …
  sed -i '1s|^|<!--\n 	Bienvenue, lecteur-trice de code source !\n\n\n	Comment est fabriqué ce site ?  \n		— https://micr0lab.org/tech/ \n		— https://micr0lab.org/rouage/ \n		— https://micr0lab.org/humains.txt\n\n\n	Licence : \n		Code le plus souvent sous licence art libre (artlibre.org), voir https://micr0lab.org/rouage/droits/#d_site pour plus d’infos.\n\n\n 	Contact : \n		Voir https://micr0lab.org/contact/\n\n\n **********************\n *	=======> Puisque tu es là <======\n *	Tu aimes le code?\n *		Tu modèles les octets ?\n * 			Les arts numériques de micr0lab (https://micr0lab.org/arts_numeriques/) sont là !\n *	======> Proposes-y tes projets ! <======\n **********************\n -->|' /tmp/index.html 
# On marque le fichier obtenu.
	    tidy -config /donnees/micr0lab/tech/scripts/config-tidy -m /tmp/index.html
		if [ -f index.html ]
# On regarde si le dossier dans lequel se trouvait le fichier index.php actuellement compilé contenait déjà un fichier index.html.
		then
		    DIFF=$(diff $chemin/index.html /tmp/index.html)
#index.html existe déjà, on compare la version obtenue et la version actuelle.
 		    if [ "$DIFF" != "" ]
 		    then
# Si les fichiers sont différents…
			mv /tmp/index.html index.html
			echo "Index.html écrasé."
# On stocke dans le tableau l’adresse de la page écrasée et on écrase le fichier index.html avec la version générée par wget.
 		    else
# Si le fichier index.html qui existait déjà et le fichier index.html obtenu avec wget sont identiques  …
			echo "Index.html identique."
			rm /tmp/index.html
# Alors on stocke dans le tableau l’adresse de la page ignorée et on efface le fichier généré par wget.
		    fi
		else
# Le fichier index.html n’existait pas.
		    mv /tmp/index.html index.html
		    echo "Index.html crée."
# On stocke l’adresse du fichier crée dans le tableau et on déplace la version fabriquée par wget dans le dossier
		fi
	    fi