Hi, On Freitag, 30. November 2012, Andreas Beckmann wrote: > Suggestions welcome. I don't see good alternatives (having worked with > my "temporary" names for a long time). :-) how about --extra-repo and --local-repo ? cheers, Holger