1.1 --- a/graph_sed.sh	Sat Jun 09 00:13:23 2007 +0200
     1.2 +++ b/graph_sed.sh	Sat Jun 09 00:26:35 2007 +0200
     1.3 @@ -35,16 +35,6 @@
     1.4      file=/tmp/`basename $0`-$$
     1.5      file2=/tmp/`basename $0`-$$-2
     1.6  
     1.7 -#    # collect all profil names (we only want them as nodes)
     1.8 -#    cat $file | while read line ; do
     1.9 -#      echo -n "`echo $line | grep "Profil von:" | awk '{print " " $3 " "}'`" >> $file2
    1.10 -#    done
    1.11 -#    echo >> $file2
    1.12 -
    1.13 -
    1.14 -# TODO: fetch only edges for people having a profile
    1.15 -
    1.16 -    # output
    1.17      
    1.18      sed -n -e ' 
    1.19        /^Profil/{
    1.20 @@ -73,6 +63,7 @@
    1.21      echo "}"
    1.22  
    1.23  #    rm $file $file2
    1.24 +    rm /tmp/aa /tmp/bb
    1.25      exit 0
    1.26  
    1.27    fi