A Practical Guide to Linux Commands, Editors, and Shell Programmi