Obsługa mirrorów przez skrypty pldnotify.awk i builder

[Jacek Konieczny]

Witam,

Na życzenie [depesz]a zrobiłem obsługę mirrorów dla pldnotify.awk,
a przy okazji dla skryptu builder. Obsługa ta jest bardzo prosta, bo nie
można tych skryptów zbytni komplikować: w pliku mirrors
(przykładowy/domyślny jest tam gdzie te skrypty: w module SPECS w CVS)
zdefiniowane są znane mirrory, a skrypty próbują do nich dopasować URLe
które mają ściągać. Jeśli coś znajdą to użyją tego, zamiast URLa
w specu. Builderowi to zachowanie można wyłączyć poprzez opcję "-nm".
Dla pldnotify.awk na razie jedynym na to sposobem jest wyczyszczenie
pliku mirrors.

Mam nadzieję, że te poprawki ułatwią nam życie pozwalając na szybszy
dostęp do źródeł pakowanych programów. Mogą też rozwiązać problemy 
z ostatnimi cudami na sourceforge (chociaż zamiana URL na ftp na razie
wystarcza).

Jeszcze jedno: poprawki powstały w jakieś pół godzinki, teraz czas na
testy, więc proszę testować :-).

Przydałoby się też przygotować domyślny plik mirrors. Musiałby on
spełniać parę założeń:
- Wpisane tam serwery powinny być dobrze dostępne przez wszystkich
  (większość) developerów PLD
- Zasoby na tych serwerach powinny być aktualne
- pewnie coś jeszcze...

Pozdrowienia,
	Jacek