w9ya wrote:

Been there , done that. As I dimly remember I removed the sources from the urmpi.cfg file using the appropriate tool (rpmdrake works o.k. for this I guess), and then added back the source using the urpmi.addmedia command.

Best regards;

Bob Finch


On Sunday 10 August 2003 03:19 pm, Kim Schulz wrote:


Hi
I had a problem with my hdlist files after playing around with some
proxy settings etc. while fetching the files. So I thought that I could
just remove the broken files from /var/lib/urpmi and the do a
urpmi.update -a but that does not work.
How do I get these files back now ?






man urpmi.update :
-Fd options are the one you want (afair)

Eric




Reply via email to