Tools and tricks

Useful bash commands

Use SVN locally

Merge multiple ps or pdf files

Synchronize directories