So that worked, and then completing the install from apt-get worked as well. So I suppose this can be closed, but I have no idea why this happened.

On 1/15/21 8:29 PM, Norbert Preining wrote:
Hmmm interesting.

Can you run
   sudo fmtutil-sys -all
? Does that give the same error again, i.e., is this reproducible?

Best

Norbert

--
--
Rann Bar-On
he/him/his

Reply via email to