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 | |
| 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')
| -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 |