1 files changed, 25 insertions, 0 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
new file mode 100644
index 0000000..6cb54eb
--- /dev/null
+++ b/grid5000/steps/data/setup/puppet/modules/env/manifests/common/apt_pinning.pp
@@ -0,0 +1,25 @@
+# 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');
+  }
+}