A Bash script to get specified lines from a file