From 836f16e946b316d7eb3a38fb38c9e1a2d064f557 Mon Sep 17 00:00:00 2001
From: Zach Leslie <zach@puppetlabs.com>
Date: Mon, 21 May 2012 17:06:10 -0700
Subject: [PATCH] add .pref extension, which according to apt_preferences(5)
 may or may not be present, and is helpful if you are going to have an
 extension at all

---
 manifests/pin.pp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manifests/pin.pp b/manifests/pin.pp
index 73f5795..58694d6 100644
--- 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',
-- 
2.45.2