AWK Examples
2015
How to get current shell name in CSH?
% echo $shell
/bin/csh
Unix have a new line appended at the end
# echo -e "1" | wc -c
2
Links
History of grep
Andrew S Tanenbaum on Linux
Introduction to UNIX
Why should one use /dev/null to empty a file?
Strange UNIX command name meaning
Art of Command Line
Posix shell tricks
How UNIX made it to the top