1 files changed, 21 insertions, 0 deletions
diff --git a/grid5000/steps/data/setup/puppet/modules/env/manifests/std/nvidia_reset_mig.pp b/grid5000/steps/data/setup/puppet/modules/env/manifests/std/nvidia_reset_mig.pp
new file mode 100644
index 0000000..c9285ae
--- /dev/null
+++ b/grid5000/steps/data/setup/puppet/modules/env/manifests/std/nvidia_reset_mig.pp
@@ -0,0 +1,21 @@
+class env::std::nvidia_reset_mig () {
+
+  file{
+    '/usr/local/bin/nvidia-reset-mig':
+      ensure    => present,
+      owner     => root,
+      group     => root,
+      mode      => '0755',
+      source    => 'puppet:///modules/env/std/nvidia_configure/nvidia-reset-mig';
+    '/etc/systemd/system/nvidia-reset-mig.service':
+      ensure    => present,
+      owner     => root,
+      group     => root,
+      mode      => '0644',
+      source    => 'puppet:///modules/env/std/nvidia_configure/nvidia-reset-mig.service';
+    '/etc/systemd/system/multi-user.target.wants/nvidia-reset-mig.service':
+      ensure => link,
+      target => '/etc/systemd/system/nvidia-reset-mig.service';
+
+  }
+}