tools/out-of-tree
1
0
Fork 0
Code Releases Activity

fix: use wildcard in apt pin priority

Browse Source
This commit is contained in:
dump_stack() 2023-05-26 17:32:35 +00:00
parent 8c49680675
commit 1410fe4660
Signed by: dump_stack
GPG Key ID: BE44DA8C062D87DC
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
distro/debian/debian.go
View File

@ -466,7 +466,7 @@ func (d Debian) Install(pkgname string, headers bool) (err error) {
// make sure apt-get will not download the repo version // make sure apt-get will not download the repo version
cmdf("echo 'Package: *' >> /etc/apt/preferences.d/pin") cmdf("echo 'Package: *' >> /etc/apt/preferences.d/pin")
cmdf(`echo 'Pin: origin "snapshot.debian.org"' >> /etc/apt/preferences.d/pin`) cmdf(`echo 'Pin: origin "*.debian.org"' >> /etc/apt/preferences.d/pin`)
cmdf("echo 'Pin-Priority: 100' >> /etc/apt/preferences.d/pin") cmdf("echo 'Pin-Priority: 100' >> /etc/apt/preferences.d/pin")
// cut package names and install // cut package names and install