Make use_ppa optional

This commit is contained in:
Scott Reeves 2014-10-24 20:29:03 -04:00
parent 1baffad4e4
commit 67def91262

View File

@ -1,9 +1,9 @@
{% from "php/map.jinja" import php with context %} {% from "php/map.jinja" import php with context %}
{% if grains['os_family']=="Debian" %} {% if grains['os_family']=="Debian" %}
{% set use_ppa = salt['pillar.get']('php:use_ppa', none) %}
{% if use_ppa is not none %} {% if use_ppa is not none %}
{% set use_ppa = salt['pillar.get']('php:use_ppa', none) %}
{% set ppa_name = salt['pillar.get']('php:ppa_name', 'ondrej/php5') %} {% set ppa_name = salt['pillar.get']('php:ppa_name', 'ondrej/php5') %}
php54: php54: