>> echo "PKGNAME hold" | sudo dpkg --set-selections > is that the same as apt-mark hold PKGNAME
Reminds me that I wish we could add a comment describing why it's on
hold (or alternatively, provide a config file where we can write which
package should be held, using a format that allows comments).
Stefan
