#! /usr/bin/awk -f ! /^\#/ && ! /^$/ { xs[$1]++ } END { for (x in xs) { printf("%s%s", sep, x, sep = " ") } }