Sunday, February 13, 2011

today I learned

Ubuntu: To switch windows from one desktop to the other (accidental discovery):
- SHIFT+CTRL+ALT+Arrow Right or Left

Linux, from 6.033 hands on 1:
Jotting down notes as I go along ... feel free to point out mistakes
- stat [file_or_dir]
- The difference between symbolic link and hard link (Phil introduced this concept to me 2 years ago, but now I finally get it). I've always used symbolic link and it's the way to go!
- echo $PATH "tells the shell where to look in the file system for programs we type on the command line"
- you can do "setenv OLDPATH $PATH" in "tcsh -f", not in bash shell
- echo $0 or ps -p $$ finds what shell I'm in.

No comments:

Post a Comment