On Mon, Nov 19, 2018 at 4:05 PM Mike Gabriel <[email protected]> wrote: > > Control: close -1 > Control: tags -1 not-a-bug > > Hi Jens, > > On Mo 19 Nov 2018 14:26:41 CET, Jens Reyer wrote: > > > $ cat /etc/apt/preferences.d/x2go-ppa > > Package: * > > Pin: release o=LP-PPA-x2go > > Pin-Priority: 1010 > > This is exactly the way to do it. > > Closing this bug as a not-a-bug report.
I don't really get it. What is the sense in adding a ppa to your system when you need additional steps to get the packages from there!? This is counter-intuitive! If a user adds the ppa he/she/it states his/her/its will to use packages from there, so why ignoring that user wish? Uli _______________________________________________ x2go-dev mailing list [email protected] https://lists.x2go.org/listinfo/x2go-dev
