Here\'s my array (gawk script) :
myArray[\"peter\"] = 32 myArray[\"bob\"] = 5 myArray[\"john\"] = 463 myArray[\"jack\"] = 11
After sort, I
Use asorti:
#!/usr/bin/env -S gawk -f { score[$1] = $0; array[sprintf("%3s",$2) $1] = $1; } END { asorti(array, b) for(i in b) { name = array[b[i]] print score[name] } }