diff options
author | Jonas Smedegaard <dr@jones.dk> | 2013-02-22 02:08:50 +0100 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2013-02-22 02:08:50 +0100 |
commit | 93002adb7b0fb267a67b2dd2d8893151c1077642 (patch) | |
tree | df3016946c4e939fd67d7d5cdecb510967948124 /apt/preferences.d | |
parent | 5d748a719352feaa68ea9e6db21075a9ecf7813d (diff) |
Include firmware and microcode in linux pinnings.
Diffstat (limited to 'apt/preferences.d')
-rw-r--r-- | apt/preferences.d/local-linux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/apt/preferences.d/local-linux b/apt/preferences.d/local-linux index 66103fb..738410e 100644 --- a/apt/preferences.d/local-linux +++ b/apt/preferences.d/local-linux @@ -1,3 +1,3 @@ -Package: linux-image-* linux-headers-* +Package: linux-image-* linux-headers-* firmware-* *-microcode Pin: release o=Debian,a=experimental Pin-Priority: 500 |