poldek i cdrom

[Paweł A. Gajda]

środa 03/04/2002 18:07:41, Jacek Konieczny:
> On Tue, Apr 02, 2002 at 01:33:02AM +0200, Paweł A. Gajda wrote:
> > Zrób:
> > 
> > $ poldek --conf=/mnt/cdrom/.poldekrc --priconf=/mnt/cdrom/.poldekpri.conf
> > 
> > Jest to jedyna prawidłowa metoda -- użycie konfiguracji 
> > generowanej przy powstawaniu obrazów ISO. 
> A co z opcjami które użytkownik sobie w /etc/poldek.conf i w ~/.poldekrc
> ustawił? Są olewane, czy dołączane do tego co w /mnt/cdrom/.poldekrc
> siedzi? 

Olewane. Hem, jakieś --srconf=/mnt/cdrom/.poldekrc
które brałoby źródła z /mnt/cdrom/.poldekrc, a resztę z ~/.poldekrc
średnio mi się podoba. W sumie wystarczy:

egrep '^(source|prefix)' /mnt/cdrom/.poldekrc >> ~/.poldekrc

> No i IMHO przydałby się jakiś prostrzy sposób korzystania 
> z cdromu. Jakaś pojednycza flaga, która powodowałaby załadowanie
> właściwych konfigów.

Te konfigi są robione przez geniso-poldek, i są specyficzne 
dla PLD, więc IMO najprościej jest wrzucić 
http://cvs.pld.org.pl/installer/poldek/cdpoldek.sh na pierwszego 
cedeka; o właśnie można od razu tam dorzucić:

cp ~/poldekrc ~/tmp/poldekrc
egrep '^(source|prefix)' /mnt/cdrom/.poldekrc >> ~/tmp/poldekrc

$ poldek --conf=$HOME/tmp/poldekrc

Ktoś ma ochotę to zrobić? Nie używam płytek z PLD więc mam taką sobie
motywację.