Brian Pratt's Homepage

• 1: Welcome
  • 1.1: About Me
• 2: Projects
  • 2.1: Software
    • 2.1.1: Web Cloner
    • 2.1.2: Chess
    • 2.1.3: RCS
  • 2.2: RTOS
  • 2.3: Senior Project
  • 2.4: LANL Internship
  • 2.5: DES Cracker
  • 2.6: Digital Comm
• 3: Research
  • 3.1: FPGAs in Space
  • 3.2: SEU Mitigation
  • 3.3: Partial TMR
  • 3.4: Digital Comm
• 4: Docs
  • 4.1: Linux
  • 4.2: Mac OS X
  • 4.3: Other
• 5: Software
  • 5.1: Geolocator.app
  • 5.2: Awesome Ball
  • 5.3: AccSim
  • 5.4: Roomote
• 6: Resume
• 7: Contact

Linux

Bash Scripting Resources

The most useful bash scripting websites I have found:

• www.pegasus.rutgers.edu/~elflord/unix/bash-tute.html - Simple stuff, but I often forget it!
• http://tldp.org/LDP/abs/html/ - Advanced Bash scripting guide. Good stuff on parameter substitution and pattern matching (Bash RegEx)

Find Command Resources

I use the find command, but I often need help remembering how to use the more advanced features

• http://www.athabascau.ca/html/depts/compserv/webunit/HOWTO/find.htm - A few simple examples of using find (including the -exec option)

• Replace text in many files

  Example: Replace all occurrences of the text “alpha1_0” with “alpha0_25” in all .do files in the current directory and below

  find . -name "*.do" -exec sed -i 's/alpha1_0/alpha0_25/g'  \;

LaTeX Resources

The most useful LaTeX websites I have found:

• http://www.andy-roberts.net/misc/latex/latextutorial10.html - Using LaTeX math stuff
• http://www.stdout.org/~winston/latex/ - The essential LaTeX Cheat Sheet

Regular Expressions Resources

The most useful RegEx websites I have found:

• http://www.ilovejackdaniels.com/cheat-sheets/regular-expressions-cheat-sheet/ - A nice RegEx cheat sheet

sed Resources

The most useful sed websites I have found:

• http://www.student.northpark.edu/pemente/sed/sed1line.txt - Handy sed one-liners

SSH Without Passwords

I find it annoying typing my password between machines that I ssh to all of the time. This may be a bit insecure, but it makes my life a lot easier!

1. On the source machine:
   ssh-keygen -t dsa
       Don't enter a passphrase
       id_dsa and id_dsa.pub stored in ~/.ssh by default
2. Copy id_dsa.pub to the target machine
3. On the target machine:
   cat id_dsa.pub >> ~/.ssh/authorized_keys
       Adds this identity to the authorized_keys

If you have the same home directory on a set of machines, the source and target machines can be the same!