Deux solutions :
- soit tu t'arranges pour que ta version soit la plus récentes i.e. 5.3.8-1~dotdeb.2+custom.2 (la ~ veut dire "juste avant la version décrite dans ce qui la précède")
- soit tu fais le bon pinning, par exemple un truc du genre de ce qui suit dans /etc/apt/preferences :
Package: php5
Pin: version 5.3.8-1~dotdeb.2~custom.2
Pin-Priority: 991
# Soit versions, soit pinning
Posté par niol (site web personnel) . En réponse au message apt pinning sur plusieurs dépôts "stable". Évalué à 3.
Deux solutions :
- soit tu t'arranges pour que ta version soit la plus récentes i.e.
5.3.8-1~dotdeb.2+custom.2(la~veut dire "juste avant la version décrite dans ce qui la précède")- soit tu fais le bon pinning, par exemple un truc du genre de ce qui suit dans
/etc/apt/preferences:Voir aussi :
- http://wiki.debian.org/AptPreferences
-
man apt_preferences