diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2018-06-07 07:48:55 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2018-06-07 07:48:55 -0300 |
commit | d9e324e703e87f082e233154ccb4413ebd3a8ba1 (patch) | |
tree | e5cf32727da29d959bcc26991f9774cb9ae62a28 | |
parent | 908ba8f3625b0030b177a9618c48bf9afcb4c7bc (diff) | |
download | puppet-php-d9e324e703e87f082e233154ccb4413ebd3a8ba1.tar.gz puppet-php-d9e324e703e87f082e233154ccb4413ebd3a8ba1.tar.bz2 |
Notify php-apt-auto-update when adding ondrej_ubuntu_php.gpg
-rw-r--r-- | manifests/ppa.pp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/manifests/ppa.pp b/manifests/ppa.pp index d78492a..1166439 100644 --- a/manifests/ppa.pp +++ b/manifests/ppa.pp @@ -17,6 +17,7 @@ class php::ppa { group => "root", mode => "0644", source => 'puppet:///modules/php/ondrej_ubuntu_php.gpg', + notify => Exec['php-apt-auto-update'], } file { '/etc/apt/sources.list.d/php.list': |