bin/sign: Keep track of the original domain, for `known_hosts' banners.

diff --git a/bin/sign b/bin/sign
index f2753554ea81b546a3e7d9178cca55076794641c..7c84ae6881fc46af065f5a60ffb56dbc4427489f 100755 (executable)
--- a/bin/sign
+++ b/bin/sign
@@ -26,7 +26,8 @@ done
 
 ## Sign the various host keys.
 last=%%%
-echo >&5 "### BEGIN $domain KEYS (generated $date)"
+idomain=$domain
+echo >&5 "### BEGIN $idomain KEYS (generated $date)"
 while read line <&3; do
 
   ## Ignore comments and empty lines.
@@ -78,7 +79,7 @@ while read line <&3; do
     ssh-keygen -lv -fhost/$host-$kt.pub | sed 's,^,| ,' >&4
   done
 done
-echo >&5 "### END $domain KEYS"
+echo >&5 "### END $idomain KEYS"
 exec 3>&- 4>&- 5>&-
 
 ## Sign the list.