Loading dblp/sort_dataset.sh +1 −0 Original line number Diff line number Diff line #!/bin/bash # | sort by number of nodes (equivalent to number of "{") cat $1 | awk '{print gsub("{","{"), $0}' | sort -n | cut -d' ' -f2- > "${1%.bracket}_sorted.bracket" Loading
dblp/sort_dataset.sh +1 −0 Original line number Diff line number Diff line #!/bin/bash # | sort by number of nodes (equivalent to number of "{") cat $1 | awk '{print gsub("{","{"), $0}' | sort -n | cut -d' ' -f2- > "${1%.bracket}_sorted.bracket"
