add new version of image

1 files changed, 0 insertions, 25 deletions

diff --git a/grid5000/steps/data/setup/puppet/modules/env/manifests/common/apt_pinning.pp b/grid5000/steps/data/setup/puppet/modules/env/manifests/common/apt_pinning.pp
deleted file mode 100644
index 6cb54eb..0000000
--- a/grid5000/steps/data/setup/puppet/modules/env/manifests/common/apt_pinning.pp
+++ /dev/null
@@ -1,25 +0,0 @@
-# Define apt_pinning
-# Parameters:
-# Packages to pin
-# Pinned version
-# Priority
-
-define env::common::apt_pinning (
-  $packages = undef,
-  $version = undef,
-  $priority = 1001,
-) {
-
-  if $packages == undef or $version == undef {
-    fail 'Missing required parameter'
-  }
-
-  file {
-    "/etc/apt/preferences.d/${name}.pref":
-      ensure  => file,
-      mode    => '0644',
-      owner   => root,
-      group   => root,
-      content => template('env/common/apt_pinning.erb');
-  }
-}