« Les gestionnaires de paquets debian : apt, aptitude, dpkg » : différence entre les versions
Aller à la navigation
Aller à la recherche
Aucun résumé des modifications |
|||
Ligne 77 : | Ligne 77 : | ||
Package: librrd2 | Package: librrd2 | ||
Pin: version 1.2.15* | Pin: version 1.2.15* | ||
Pin-Priority: 1001 | |||
</pre> | |||
On peut même mettre un pin sur toute une release : | |||
<pre> | |||
Package: * | |||
Pin: release a=stable | |||
Pin-Priority: 1001 | Pin-Priority: 1001 | ||
</pre> | </pre> |