gistfile1.txt

include:
  - java

jenkins:
  pkgrepo.managed:
    - humanname: Jenkins PPA
    - name: deb http://pkg.jenkins-ci.org/debian binary/
    - comments:
      - "# Jenkins Repo"
    - key_url: http://pkg.jenkins-ci.org/debian/jenkins-ci.org.key
    - require_in:
      # must be the id, not the package name
      - pkg: jenkins
      - file.directory: /var/run/jenkins
  pkg:
    - installed

/var/run/jenkins:
  file.directory:
    - mode: 755