- $release_real = downcase($release)
- $key = $::lsbdistid ? {
- 'debian' => '46925553',
- 'ubuntu' => '437D05B5',
+ if ! is_integer($pin_priority) {
+ fail('$pin_priority must be an integer')
+ }
+
+ if $::lsbdistid == 'LinuxMint' {
+ if $::lsbdistcodename == 'debian' {
+ $distid = 'debian'
+ $release_real = 'wheezy'
+ } else {
+ $distid = 'ubuntu'
+ $release_real = $::lsbdistcodename ? {
+ 'qiana' => 'trusty',
+ 'petra' => 'saucy',
+ 'olivia' => 'raring',
+ 'nadia' => 'quantal',
+ 'maya' => 'precise',
+ }
+ }
+ } else {
+ $distid = $::lsbdistid
+ $release_real = downcase($release)