#!/bin/bash
echo "nom du fichier de groupes  par defaut groupe.txt"
fichier="./numero.txt";

cat $fichier | while true 
do
read ligne
if [ "$ligne" == "" ]
then
    echo "fin du fichier"
    break
fi
set -- $ligne
echo "traitement de $ligne "

cp index-tous.php $ligne/index.php

done

echo "fin de modification des index"
echo "fin du script"

