# HG changeset patch # User meillo@marmaro.de # Date 1181341595 -7200 # Node ID 3af263aed9513be37b144c4e9a748369a4728dab # Parent 9a85a9924834832e34fc9c0f95ddee2fa64ca2b6 cleanups in sed variant diff -r 9a85a9924834 -r 3af263aed951 graph_sed.sh --- a/graph_sed.sh Sat Jun 09 00:13:23 2007 +0200 +++ b/graph_sed.sh Sat Jun 09 00:26:35 2007 +0200 @@ -35,16 +35,6 @@ file=/tmp/`basename $0`-$$ file2=/tmp/`basename $0`-$$-2 -# # collect all profil names (we only want them as nodes) -# cat $file | while read line ; do -# echo -n "`echo $line | grep "Profil von:" | awk '{print " " $3 " "}'`" >> $file2 -# done -# echo >> $file2 - - -# TODO: fetch only edges for people having a profile - - # output sed -n -e ' /^Profil/{ @@ -73,6 +63,7 @@ echo "}" # rm $file $file2 + rm /tmp/aa /tmp/bb exit 0 fi