Re: Update Old Version Public Keys?

On Sat, Oct 17, 2020 at 8:00 PM David E. Wheeler <david(at)justatheory(dot)com>
wrote:

>
> On Oct 17, 2020, at 20:58, Aaron Pavely <aaron(at)pavely(dot)net> wrote:
>
> > Alternatively, skip the `apt-get` and simply use apt.postgresql.org.sh's
> `-i` option to install, if you can accept it overwriting any existing
> PostgreSQL configuration files, since it would achieve the same package set
> installation goal.
>
> Would that get me the server-dev package, too?
>
> Thanks,
>
> David
>

Yes, because the repository component '14' is specified as part of the
value for $COMPONENTS when the repository installation is done by the
apt.postgresql.org.sh script, here:
https://salsa.debian.org/postgresql/postgresql-common/-/blob/32702b6cd4c50b8da9484f5f0a189a6db3ef79a4/pgdg/apt.postgresql.org.sh#L78-85

If, instead, the `-i` option is used, the $PIN value assigned is used later
by `apt-get`, here:
https://salsa.debian.org/postgresql/postgresql-common/-/blob/32702b6cd4c50b8da9484f5f0a189a6db3ef79a4/pgdg/apt.postgresql.org.sh#L247-249

-- Aaron