X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=examples%2Fkeyman;fp=examples%2Fkeyman;h=5a4d7d83d4a6a0543d7265b2d32d1c531260176f;hb=91d1f2390ba5142362b25713fa534cbba335d382;hp=07021f04416fcdaf791be5ae7e10dd5802c192fb;hpb=bf7d9637aa1c5a4093766ac6f458d09bfb094388;p=scpubgit%2FDKit.git

diff --git a/examples/keyman b/examples/keyman
index 07021f0..5a4d7d8 100644
--- a/examples/keyman
+++ b/examples/keyman
@@ -48,10 +48,19 @@ rule not_known_account A { config_not_contains_line 'accounts' A }
 rule not_known_key K { config_not_contains_line 'keys' K }
 rule not_known_dead D { config_not_contains_line 'keys.dead' D }
 
-rule account_synchronized A {
+rule all_known_installed_on A {
   foreach K { known_key K } { key_installed_on A K }
 }
 
+rule all_dead_not_installed_on A {
+  foreach K { known_dead K } { key_not_installed_on A K }
+}
+
+rule account_synchronized A {
+  all_known_installed_on A
+  all_dead_not_installed_on A
+}
+
 rule all_synchronized {} {
   foreach A { known_account A } { account_synchronized A }
 }
@@ -59,4 +68,15 @@ rule all_synchronized {} {
 rule unknown_installed_on { A K } {
   key_installed_on A K
   not { known_key K }
+  not { known_dead K }
+}
+
+rule known_installed_on { A K } {
+  key_installed_on A K
+  known_key K
+}
+
+rule dead_installed_on { A K } {
+  key_installed_on A K
+  known_dead K
 }