search

pop-os / gtk-theme

System76 Pop GTK+ Theme
GNU General Public License v3.0
782 stars 81 forks source link

Pin Pop PPA with a lower priority #487

Closed honnix closed 3 years ago

honnix commented 3 years ago

This is to prevent accidentally installing/upgrading other packages from this PPA.

honnix commented 3 years ago

@ids1024 Not sure whether this makes sense. PTAL, thanks!

honnix commented 3 years ago

@isantop Thanks for the quick reply and explaining. I see the problem, especially on pop-gtk-theme, and I agree installing from source code should be instead suggested.

honnix commented 3 years ago

I actually had to do the following to make it right. Otherwise some packages will be pulled from other distributions.

sudo tee <<EOF /etc/apt/preferences.d/system76-pop-pin >/dev/null
Package:  *
Pin: release o=LP-PPA-system76-pop
Pin-Priority: 400

Package:  pop-theme
Pin: release o=LP-PPA-system76-pop
Pin-Priority: 600

Package:  pop-gnome-shell-theme
Pin: release o=LP-PPA-system76-pop
Pin-Priority: 600

Package:  pop-gtk-theme
Pin: release o=LP-PPA-system76-pop
Pin-Priority: 600

Package:  pop-icon-theme
Pin: release o=LP-PPA-system76-pop
Pin-Priority: 600

Package:  pop-sound-theme
Pin: release o=LP-PPA-system76-pop
Pin-Priority: 600
EOF

I tried building from source, but couldn't get shell theme work.