In bash, given a line number what is the simplest way to extract that line from a file? TIA Asif -- To unsubscribe: mail majordomo at ale.org with "unsubscribe ale" in message body.