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