A quick guide to writing scripts using the bash shell UNIX Bourne Shell Scripting GNU Bash Reference Manual