Re: possible bug in jigdo 0.6.7 ?
On Thu, Jun 13, 2002 at 07:55:19AM +0200, Luc Maisonobe wrote:
> You got it ! Perhaps jigdo could do something like that to get rid of
> this setting :
[snip]
> sed '/^ *continue *=/d' < $HOME/.wgetrc > $WGETRC
[snip]
Ugh, but that's ugly! :-)
Maybe I'll just add code to detect this setting and then make
jigdo-lite print out a warning.
Cheers,
Richard
--
__ _
|_) /| Richard Atterer | CS student at the Technische | GnuPG key:
| \/¯| http://atterer.net | Universität München, Germany | 0x888354F7
¯ '` ¯
--
To UNSUBSCRIBE, email to debian-cd-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Reply to: