On Mon, 2018-05-21 at 11:27 +0200, Thomas Lange wrote: > I would like to hear more opinions from others about the solution b) > which seems to be ok for me.
solution b) seems good to me, too. as `apt-key` is being deprecated[1][2], solution a) may not be viable for the long-term. thank you! andy [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=858238#10 [2] https://youtu.be/mZlYVYAfHZQ?t=9m15s -- andrew bezella <abeze...@archive.org> internet archive