2013-02-12 Command Line Basics

<html><style type=“text/css”>div.profile { float: left; padding-right: 0.5em;} #event a { font-weight: bold; }</style></html> <html><div class=“profile”></html><html></div></html>

Tuesday, Feb 12
10:30 am
OLB 105

Ben Stoutenburgh will go through the basics of using a terminal to get things done. Topics will include:

  • Files and Directories, navigation and management including file globbing
  • Some bash basics and shortcuts, not introducing scripting
  • Redirection, pipelining, &&, ;
  • Basic commands to get your through the day
  • Finding help when stuck with man, apropos and help