Puppet Class: jenkins::repo::debian

Defined in:
manifests/repo/debian.pp

Summary

Set up the apt repo on Debian-based distros

Overview

Parameters:

  • gpg_key_id (String) (defaults to: '63667EE74BBA1F0A08A698725BA31D57EF5975CA') 


3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
 
# File 'manifests/repo/debian.pp', line 3

class jenkins::repo::debian (
  String $gpg_key_id = '63667EE74BBA1F0A08A698725BA31D57EF5975CA',
) {
  assert_private()

  include apt

  if $jenkins::lts {
    $location = "${jenkins::repo::base_url}/debian-stable"
  } else {
    $location = "${jenkins::repo::base_url}/debian"
  }

  apt::source { 'jenkins':
    location => $location,
    release  => 'binary/',
    repos    => '',
    include  => {
      'src' => false,
    },
    key      => {
      'id'     => $gpg_key_id,
      'source' => "${location}/${jenkins::repo::gpg_key_filename}",
    },
  }
}