Lecture 01 Commands Line introduction Let's find all HTML files: $ find . -name "*.html" Extended Eg Let's ensure that all our html files use HTML5 $ find . -name "*.html" -exec grep -i 'doctype' {} \; Commands ls The command ls lists the files in a directory. The command is documented in the manual $ man ls (Hint: type q to quit the manual). Options Most commands take options. For example: -a, --all do not ignore entries starting with . -1 list one file per line. Avoid '' with -q or -b So we may $ ls -a -1 $ ls -a1 $ ls --all -1 Piping Piping using the | allows combining commands. $ rpm -qa lists all the installed packages on a RedHat/Fedora system. $ rpm -qa | grep -i "Acrobat" searches the list to see if the Acrobat PDF reader is installed. Note: the try with acrobat doesnt work because I do not have install any PDF sin...