An introductory course in using the Linux OS