walt wrote:
[...]
After I repeated the cg-update (successfully) I was still left with
the 'bad file' error. I tried 'cg-restore' and the error went away.
Oops -- correction!
After encountering the same problem on a different machine, I find
that 'cg-reset' is the one which fixed the error, not 'cg-restore'.
I believe that I tried both commands on the first machine, so I was
uncertain which one actually did the fix.