shift
# check if we have 2 parameters left, if so the first is the new ID file
if [ -n "$2" ]; then
if expr "$1" : ".*\.pub" ; then
if expr "$1" : ".*\.pub" >/dev/null; then
ID_FILE="$1"
else
ID_FILE="$1.pub"