@herrsaalfeld Instead of using apt-mark hold, I would recommend to rank the origin higher, so that in - the unlikely case - there will be an update published, it actually arrives.
/etc/apt/preferences.d/openjfx
Package: openjfx* Pin: release a=bionic Pin-Priority: 1001
Package: libopenjfx* Pin: release a=bionic Pin-Priority: 1001
thx @JPT
Although that works, its quite an hack. Can't we have something like openjdk-8-jfx, openjdk-8-jfx-source, openjdk-11-jfx, ...
@herrsaalfeld Instead of using apt-mark hold, I would recommend to rank the origin higher, so that in - the unlikely case - there will be an update published, it actually arrives.
/etc/apt/ preferences. d/openjfx
Package: openjfx*
Pin: release a=bionic
Pin-Priority: 1001
Package: libopenjfx*
Pin: release a=bionic
Pin-Priority: 1001
thx @JPT
Although that works, its quite an hack. Can't we have something like openjdk-8-jfx, openjdk- 8-jfx-source, openjdk-11-jfx, ...