#! /bin/bash
# Last edited on 2010-04-08 23:30:21 by stolfilocal

# Sorts the standard input lines by decreasing length.
# Useful when building "sed" filters.

gawk '//{ printf "%06d %s\n", length($0), $0; }' | sort -k1,1nr | gawk '//{ print substr($0, 8); }'