Sort SSH keys when grouping them, for reproducability.

diff --git a/update b/update
index 3f0239ad3c67378650c256b3bc5ea49571153057..a5bd85ea470913d6187aa469e925b2199df04477 100755 (executable)
--- a/update
+++ b/update
@@ -13,6 +13,7 @@ find ssh -name '*.pub' -a \! -name '@*' -type f -print0 \
 
 ALL_SHA1="$(
   find ssh/ -name '*.pub' -a \! -name '@*' -exec cat '{}' + \
+  | sort \
   | git hash-object -t blob -w --stdin --no-filters
 )"