Sistemi Operativi - 04/02/2004 - 4A

#!/bin/bash
filename="$1.tmp"
rm -f $filename
var="#include [<\"].*[>\"]"
while read linea
do
    echo "$linea" | grep -q "$var"
    if [ $? == 0  ]
    then
        echo "$linea" | grep -q "\""
        if [ $? == 0 ]
        then
            linea=${linea##\#include \"}
            linea=${linea%\"}
        else
            linea=${linea##\#include \<}
            linea=${linea%\>}
            linea="/usr/include/$linea"
        fi
        cat "$linea" >> "$filename"
    else
        echo "$linea" >> "$filename"
    fi
done < $1
mv $filename $1
rm -f $filename