2016-2017/tools/Other/change_root.sh

34 lines
935 B
Bash

#!/bin/bash
# The next line tells bash to exit if a command return a non-true value
set -e
ROOT=`pwd`
OLD_ROOT="/media/documents/Cours/Prof/Enseignements"
fichier_tex=`find . -iname "*.tex" -o -iname "*.sty" -o -iname "*.cls"`
for f in $fichier_tex; do
dir=`dirname $f`
if [ `basename $dir` != "fig" ]
# On élimine les .tex qui sont dans fig/ pour ne pas compiler les images qui sont compilé autrement
then
echo "--------------------------------------------------"
echo "On s'attaque à $f";
#echo "--------------------------------------------------"
#echo "On entre dans $dir"
#cd $dir
#ls
#echo "--------------------------------------------------"
echo "On remplace le le lieu du fichier style"
echo "On remplace $OLD_ROOT par $ROOT"
sed -i -e "s|${OLD_ROOT}|${ROOT}|g" $f;
#pdflatex $f;
cd $ROOT
echo "Fin du boulot sur $f"
echo "--------------------------------------------------"
fi
done