diff options
author | intrigeri <intrigeri@boum.org> | 2012-07-02 18:22:08 +0200 |
---|---|---|
committer | intrigeri <intrigeri@boum.org> | 2012-07-02 18:22:08 +0200 |
commit | 686db3f1b4f154f0f37e19584beb07ced7fedae8 (patch) | |
tree | b3bb7b0442e7d6f8073043aae1e2dcf7ef3f82fb /manifests/init.pp | |
parent | 02208c77ac7ebc7062d239f9c4873dcf96c906a6 (diff) |
Drop useless refreshonly for resource that already has a "create" parameter.
In production, this does not change anything worth noting.
But when developing, being able to delete the exported pubkey and re-run Puppet
is useful.
Diffstat (limited to 'manifests/init.pp')
-rw-r--r-- | manifests/init.pp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/manifests/init.pp b/manifests/init.pp index f7f0a34..2d2aa30 100644 --- a/manifests/init.pp +++ b/manifests/init.pp @@ -124,7 +124,6 @@ class reprepro { user => reprepro, subscribe => File["$basedir/.gnupg/secring.gpg"], require => File["/usr/local/bin/reprepro-export-key"], - refreshonly => true, } # TODO: setup needeed lines in apache site config file |