#!/bin/bash

other_keys="EB7AB74D EE116C6D 26C5D286 48426C7E 8D89059F 765C61E3 C421CD8D 3D94797B 2DE827B3 8017E36A E7898C3B 531B6686 A5493553 4209AC98 49613020 EBBD25B4"

dokey()
{
  echo
  echo '-----------------------'
  echo "importing key $1..."
  gpg --keyserver pgp.mit.edu --recv-keys $1
  echo
  echo "gpg --recv-keys says $?"

  echo '-----------------------'
  echo "Please check the fingerprint below (we assume it is OK)"
  gpg --fingerprint $1
  echo
  echo "gpg --fingerprint says $?"

  echo '-----------------------'
  gpg --sign-key $1
  echo
  echo "gpg --sign-key says $?"
}

# the main program

for kid in $other_keys
do
    dokey $kid
done