Слишком громоздкий:
awk '{print " "$4" "$5" "$6" "$7" "$8" "$9" "$10" "$11" "$12" "$13}' things
echo 1 2 3 4 5| awk '{ for (i=3; i<=NF; i++) print $i }'
используйте cut
$ cut -f4-13 file
или если вы настаиваете на awk и $13 - последнее поле
$ awk '{$1=$2=$3="";print}' file
else
$ awk '{for(i=4;i<=13;i++)printf "%s ",$i;printf "\n"}' file
Попробуйте следующее:
awk '{ $1=""; $2=""; $3=""; print $0 }'