Improved rename script to avoid "undirected digraph".
authorkpeter
Fri, 04 Jan 2008 00:47:08 +0000
changeset 25525f711e4668f5
parent 2551 5004899aa870
child 2553 bfced05fa852
Improved rename script to avoid "undirected digraph".
scripts/rename-graphs
     1.1 --- a/scripts/rename-graphs	Mon Dec 31 19:21:21 2007 +0000
     1.2 +++ b/scripts/rename-graphs	Fri Jan 04 00:47:08 2008 +0000
     1.3 @@ -4,6 +4,7 @@
     1.4  
     1.5  cat $1 | \
     1.6  sed -e "s/bipartite undirected graph/bipartite graph/g"\
     1.7 +	-e "s/undirected graph/_gr_aph_label_/g"\
     1.8  	-e "s/undirected edge/_ed_ge_label_/g"\
     1.9  	-e "s/UGraph/_Gr_aph_label_/g"\
    1.10  	-e "s/uGraph/_gr_aph_label_/g"\