Re: PGAdmin 3.4 Font Awesome icons not being loaded

Re: Dave Page 2018-10-25 <CA+OCxowKH1JZ1_irr-4ZgzbSeNSYQEpj=m13LahK3ByTyjVdoQ(at)mail(dot)gmail(dot)com>
> Hi Christophe,
>
> Any chance you can have a look at this please? It seems almost certainly a
> bug in the Debian packaging (we've had some Redmine tickets about it too:
> https://redmine.postgresql.org/issues/3686).
>
> Thanks.
>
> On Thu, Oct 25, 2018 at 3:29 PM Malte Meister <malte(at)labs(dot)ws> wrote:
>
> > Same problem here on Ubuntu Xenial. It looks to me like the apt package is
> > missing a dependency on 'fonts-font-awesome'.

Fixed now. Problem statement from redmine:

> The pgadmin4 package uses font files from existing packages, and
> puts symlinks in place to use them. Some of the fonts packages are
> only available in Debian testing/unstable, so I removed the
> dependencies on the fonts packages when building for Debian stretch
> and Ubuntu 16.04. I left the symlinking code in place, though,
> assuming it would be a no-op. But it turns out the
> fonts-font-awesome package is still pulled in via the sphinx doc
> builder, so these files got symlinked.
>
> I fixed the symlinking logic to also generate the list of needed
> packages dynamically, so this problem won't pop up again. Will be
> released with the pgadmin4 3.5 package I'm just building.

Christoph