Bug#839403: apt: define default pin priority for a source in sources.list directly

2023-10-05 Thread Raphael Hertzog
Hello, On Sat, 01 Oct 2016, Raphaël Hertzog wrote: > Hello I would like to be able to use something like this in my > sources.list: > > deb [pin-priority=500] http://ftp.debian.org/debian experimental main Today I stumbled upon another case where something like this would have been useful, to

Bug#839403: apt: define default pin priority for a source in sources.list directly

2022-08-02 Thread Ansgar
Hi, I also think this would be nice to have. Adding an extra field to sources.list is simpler than having to maintain an additional file for the pinning. Besides the common use case of adding unstable to a system running Debain testing, it would also make it easier to add additional suites to a

Bug#839403: apt: define default pin priority for a source in sources.list directly

2016-10-01 Thread Raphaël Hertzog
Package: apt Version: 1.3 Severity: wishlist Hello I would like to be able to use something like this in my sources.list: deb [pin-priority=500] http://ftp.debian.org/debian experimental main (or "Pin-Priority: 500" in a RFC822 formatted sources.list entry) This would let me easily override