Date: Mon, 31 Dec 2001 09:20:56 +0100 From: Roman Neuhauser <neuhauser@mobil.cz> To: konfer@mikulas.com Cc: FreeBSD Questions <questions@FreeBSD.ORG> Subject: Re: wget instead fetch Message-ID: <20011231092056.A30396@roman.mobil.cz> In-Reply-To: <1009746691.3c2f83036109a@h.e-academy.cz> References: <1009746691.3c2f83036109a@h.e-academy.cz>
index | next in thread | previous in thread | raw e-mail
> Date: Sun, 30 Dec 2001 22:11:31 +0100
> From: konfer@mikulas.com
> To: FreeBSD Questions <questions@FreeBSD.ORG>
> Subject: wget instead fetch
>
> Hello.
> Is possible to setup work wget -c instead of fetch
> when I do make on some port in ports tree ?
> because I'm on dialup, and sometimes the connection
> went down, so I have to download source again and again ..:(
> or can I tell to fetch do something like -c parameter from wget ?
> thanks for reply.
> Jiri.
Hi there,
you should be able to make a port use wget(1) instead of fetch(1)
with
> env FETCH_CMD="/usr/local/bin/wget <options>" make <target>
You can set this variable in your ~/.tcshrc if you want to use it
for all port fetches.
--
FreeBSD 4.4-STABLE
9:14AM up 4 days, 19:52, 8 users, load averages: 0.00, 0.03, 0.00
To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-questions" in the body of the message
help
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20011231092056.A30396>
