@YihuiXie(xie) of course; I don't mean to imply the bug is any less important to address because of this workaround. Just to point @RobertBlankenship in the right direction (as he indicated he wishes).
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1242914 Title: tlmgr unable to set up TLPDB To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/texlive-base/+bug/1242914/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
