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