（これについて同様の投稿があることは知っていますが、特にその場合にのみ機能するため、指定された解決策は機能しません。）
私はこのようなものを持っています(File1.txt):
digraph G {
1 [shape="oval" label= "Open"]
...
8->9 [style="dashed" label= "true"]
...
2 [shape="oval" label= "Close"]
8->9 [style="dashed" label= "true"]
...
}
そして、次のような新しいファイルが必要です (File.txt):
digraph G {
...
1 [shape="oval" label= "Open"]
8->9 [style="dashed" label= "true"]
...
}
使ってsort -u File1.txt >> File.txtみましたが、並べ替えたくないので、元の順序で必要です。
前もって感謝します