On Oct 29, 2019, at 20:49, Thomas R. Murphy wrote:
> This essentially makes port upgrade outdated require manual intervention when
> a rev-bump of poppler comes by.
Until this problem in the poppler build system is fixed, you can still have
unattended upgrades of outdated ports by writing a short script such as this:
#!/bin/bash
set -euo pipefail
if [ -n "$(port -Nq outdated poppler)" ]; then
port -Nf deactivate poppler
port -N upgrade --no-rev-upgrade poppler
fi
port -N upgrade outdated
Save it as port-upgrade-outdated, make it executable, and run it with sudo.
