Improved rename script to handle includes correctly.
authorkpeter
Mon, 28 Jan 2008 11:42:46 +0000
changeset 2558e70b52a8cd57
parent 2557 673cb4d1060b
child 2559 75dd6d724f26
Improved rename script to handle includes correctly.
scripts/rename-graphs
     1.1 --- a/scripts/rename-graphs	Mon Jan 21 15:35:55 2008 +0000
     1.2 +++ b/scripts/rename-graphs	Mon Jan 28 11:42:46 2008 +0000
     1.3 @@ -6,6 +6,8 @@
     1.4  sed -e "s/bipartite undirected graph/bipartite graph/g"\
     1.5  	-e "s/undirected graph/_gr_aph_label_/g"\
     1.6  	-e "s/undirected edge/_ed_ge_label_/g"\
     1.7 +	-e "s/graph_/_gr_aph_label__"\
     1.8 +	-e "s/_graph/__gr_aph_label_"\
     1.9  	-e "s/UGraph/_Gr_aph_label_/g"\
    1.10  	-e "s/uGraph/_gr_aph_label_/g"\
    1.11  	-e "s/ugraph/_gr_aph_label_/g"\