2011/5/24 Ahmad Samir <[email protected]>: > On 24 May 2011 09:50, Wolfgang Bornath <[email protected]> wrote: >> 2011/5/24 Anssi Hannula <[email protected]>: >>> Maybe have a page that explains on how to use e.g. >>> '''Open "configure media sources for install and update" -> File -> Add >>> a specific media mirror''' >>> as pointed by Ahmad (in addition to the default "add" which adds >>> mirrorlist medias). I for one didn't know this option even existed... >> >> Your statement that you did not know about this option together with >> the fact that other experienced long time users (including me) stated >> the same shows that the existing page in a wiki does not mean that >> everybody should know about it. >> > > I'd been posting that link in the mdv forum for 1-2years, of course > old hands wouldn't read it (why would one read an article about > something he already knows).
Hmm, I haven't been to the Mandriva forum very often after summer 2009. But I read each thread in the German Mandriva user forum and I am sure that this was never told there. So, given the fact that many German users also read the international Mandriva forum, the information must have gone past them as well. >> A solution would be to make this option visible, like adding it to the >> 2 options when you click on the default "Add" button: >> 1 Add mirrorlist media - Only updates >> 2 Add mirrorlist media - Full set >> 3 Add a specific media mirror >> > > Well, no, Only updates and Full set applies to both methods, the > MIRRORLIST and specific media mirrors. (IMHO, "updates only" should be > dropped, in reality a package in */updates may well require a package > from "release", also updates repos don't have the full range of > packages in */release). Agreed. I have been wondering about the reason behind that option for long. I took for granted that "Add a specific mirror" includes a full set anyway So, option #1 could be dropped and the "Add" button could offer - random mirrors from mirrorlist - specific mirror -- wobo
