1 rule dot_ssh_on { A D } {
3 directory_in H '.ssh' D
7 rule authorized_keys_on { A F } {
9 file_in D 'authorized_keys' F
13 rule key_installed_on { A K } {
14 authorized_keys_on A F
18 rule key_not_installed_on { A K } {
19 authorized_keys_on A F
23 rule my_config_dir D {
25 directory_in H '.keymangler' D
28 rule my_config_file { C F } {
33 rule config_contains_line { C L } {
38 rule config_not_contains_line { C L } {
43 rule known_account A { config_contains_line 'accounts' A }
44 rule known_key K { config_contains_line 'keys' K }
45 rule known_dead D { config_contains_line 'keys.dead' D }
47 rule not_known_account A { config_not_contains_line 'accounts' A }
48 rule not_known_key K { config_not_contains_line 'keys' K }
49 rule not_known_dead D { config_not_contains_line 'keys.dead' D }
51 rule all_known_installed_on A {
52 foreach K { known_key K } { key_installed_on A K }
55 rule all_dead_not_installed_on A {
56 foreach K { known_dead K } { key_not_installed_on A K }
59 rule account_synchronized A {
60 all_known_installed_on A
61 all_dead_not_installed_on A
64 rule all_synchronized {} {
65 foreach A { known_account A } { account_synchronized A }
68 rule unknown_installed_on { A K } {
74 rule known_installed_on { A K } {
79 rule dead_installed_on { A K } {