add .pref extension, which according to apt_preferences(5) may or may not be present...

diff --git a/manifests/pin.pp b/manifests/pin.pp
index 73f5795f3c95c3508b291e475611e60a783385a5..58694d68f6089baee4af89afb37ea02950d26628 100644 (file)
--- a/manifests/pin.pp
+++ b/manifests/pin.pp
@@ -23,7 +23,7 @@ define apt::pin(
 
   file { "${name}.pref":
     ensure  => $ensure,
-    path    => "${preferences_d}/${name}",
+    path    => "${preferences_d}/${name}.pref",
     owner   => root,
     group   => root,
     mode    => '0644',