* Add script that copies the SSH public key to the current
directory for easy upload of those keys
--- /dev/null
+#!/bin/sh
+set -e
+
+if [ -z "$OUTPUT_FILE" ]; then
+ OUTPUT_FILE="./$(whoami)_ssh_pubkey.txt"
+fi
+
+if [ -z $HOME ]; then
+ echo 'error: $HOME not set. Please run from a normal shell.'
+ return 1
+fi
+
+if [ ! -f "$HOME/.ssh/id_rsa.pub" ]; then
+ echo "Creating a ssh key."
+ echo "Leave the location at its default."
+ ssh-keygen -t rsa
+fi
+
+if [ -f "$OUTPUT_FILE" ]; then
+ echo "Delete copied SSH key"
+ rm "$OUTPUT_FILE"
+fi
+
+cp ~/.ssh/id_rsa.pub "$OUTPUT_FILE"
+
+echo "Send the following file to support@devinivas.in using your registered"
+echo "DISH e-mail:"
+echo " $OUTPUT_FILE"