#!/bin/bash
-DOC= <<EOF
+DOC="\
This script tries to export ssh public keys to a specified site. It will
walk you through generating key pairs if it doesn't find any to export.
It handles all the fiddly details like making sure local and remote
-v Report all commands sent to host and output received.
-p <port> Connect on a particular port in place of 22
-Author: Eric S. Raymond <esr@thyrsus.com>
-EOF
+Author: Eric S. Raymond <esr@thyrsus.com>"
check=no
verbose=""
c) check=yes ;;
d) delete=yes ;;
p) port="-p $OPTARG" ;;
- h) print $DOC; exit 0;;
+ h) echo "$DOC"; exit 0;;
v) verbose=-v quiet="" ;;
esac
done