# HG changeset patch # User kpeter # Date 1202209435 0 # Node ID 635e7985be46bb9df3ceed2305ce999e91a1e2d9 # Parent 75dd6d724f26fb4f7c4e898cb0101039ff5a6678 Fix the rename script. diff -r 75dd6d724f26 -r 635e7985be46 scripts/rename-graphs --- a/scripts/rename-graphs Tue Jan 29 03:39:05 2008 +0000 +++ b/scripts/rename-graphs Tue Feb 05 11:03:55 2008 +0000 @@ -6,8 +6,8 @@ sed -e "s/bipartite undirected graph/bipartite graph/g"\ -e "s/undirected graph/_gr_aph_label_/g"\ -e "s/undirected edge/_ed_ge_label_/g"\ - -e "s/graph_/_gr_aph_label__"\ - -e "s/_graph/__gr_aph_label_"\ + -e "s/graph_/_gr_aph_label__/g"\ + -e "s/_graph/__gr_aph_label_/g"\ -e "s/UGraph/_Gr_aph_label_/g"\ -e "s/uGraph/_gr_aph_label_/g"\ -e "s/ugraph/_gr_aph_label_/g"\ @@ -16,6 +16,7 @@ -e "s/UEdge/_Ed_ge_label_/g"\ -e "s/uEdge/_ed_ge_label_/g"\ -e "s/uedge/_ed_ge_label_/g"\ + -e "s/IncEdgeIt/_In_cEd_geIt_label_/g"\ -e "s/Edge/_Ar_c_label_/g"\ -e "s/edge/_ar_c_label_/g"\ -e "s/ANode/_Re_d_label_/g"\ @@ -34,6 +35,7 @@ -e "s/_ar_c_label_/arc/g"\ -e "s/_Ed_ge_label_/Edge/g"\ -e "s/_ed_ge_label_/edge/g"\ + -e "s/_In_cEd_geIt_label_/IncEdgeIt/g"\ -e "s/_Re_d_label_/Red/g"\ -e "s/_Blu_e_label_/Blue/g"\ -e "s/_re_d_label_/red/g"\