Loading utilities/sort_dataset.sh +2 −3 Original line number Diff line number Diff line Loading @@ -31,6 +31,5 @@ # # NOTE: We substract the escaped brackets because they're part of node labels. # cat $input | awk '{print gsub("{","{")-gsub("\\\\{","\\{"), $0}' | sort -n | \ cut -d' ' -f2- # > "${1%.bracket}_sorted.bracket" cat $input | awk '{print gsub("{","{")-gsub("\\\\{","\\{"), $0}' | \ sort -n --buffer-size=4G | cut -d' ' -f2- Loading
utilities/sort_dataset.sh +2 −3 Original line number Diff line number Diff line Loading @@ -31,6 +31,5 @@ # # NOTE: We substract the escaped brackets because they're part of node labels. # cat $input | awk '{print gsub("{","{")-gsub("\\\\{","\\{"), $0}' | sort -n | \ cut -d' ' -f2- # > "${1%.bracket}_sorted.bracket" cat $input | awk '{print gsub("{","{")-gsub("\\\\{","\\{"), $0}' | \ sort -n --buffer-size=4G | cut -d' ' -f2-
