getopt gpg grep sed stat editor pager wc sleep head tail date cat awk