Robustly select lines from file; can replace the head and tail shell commands and do even more