scripts/rename-graphs
changeset 2558 e70b52a8cd57
parent 2552 5f711e4668f5
child 2560 635e7985be46
equal deleted inserted replaced
3:261f6887cf34 4:2e277b8c4f44
     4 
     4 
     5 cat $1 | \
     5 cat $1 | \
     6 sed -e "s/bipartite undirected graph/bipartite graph/g"\
     6 sed -e "s/bipartite undirected graph/bipartite graph/g"\
     7 	-e "s/undirected graph/_gr_aph_label_/g"\
     7 	-e "s/undirected graph/_gr_aph_label_/g"\
     8 	-e "s/undirected edge/_ed_ge_label_/g"\
     8 	-e "s/undirected edge/_ed_ge_label_/g"\
       
     9 	-e "s/graph_/_gr_aph_label__"\
       
    10 	-e "s/_graph/__gr_aph_label_"\
     9 	-e "s/UGraph/_Gr_aph_label_/g"\
    11 	-e "s/UGraph/_Gr_aph_label_/g"\
    10 	-e "s/uGraph/_gr_aph_label_/g"\
    12 	-e "s/uGraph/_gr_aph_label_/g"\
    11 	-e "s/ugraph/_gr_aph_label_/g"\
    13 	-e "s/ugraph/_gr_aph_label_/g"\
    12 	-e "s/Graph/_Digr_aph_label_/g"\
    14 	-e "s/Graph/_Digr_aph_label_/g"\
    13 	-e "s/graph/_digr_aph_label_/g"\
    15 	-e "s/graph/_digr_aph_label_/g"\