Chris@1601: #!/bin/bash Chris@1601: Chris@1601: set -e Chris@1601: Chris@1601: # Print reminders of the things that we haven't covered in the deploy Chris@1601: # scripts Chris@1601: Chris@1601: cat <