On Tue 24 Nov 2020 at 14:56:46 -0500, Bob Bernstein wrote: > Do you think it is permitted for a debian install to point its apt-get at a > Ubuntu repository? It is permitted! You get to keep any broken bits, of course! -- Brian.