notes: |
- Command line tools 15min (Phil)
- ssh (& sshfs)
- rsync
- tmux
- for long builds
- for letting runs go over night
- history | tail -20
- Build your own shell script
- gdb
- Custom bash scripts
- example build.sh
...
- Demonstration of CLI Tools