Bug#861436: debian-cd: Should recommend wget, used when using DI_WWW_HOME.

To: Vagrant Cascadian <vagrant@debian.org>, 861436@bugs.debian.org
Subject: Bug#861436: debian-cd: Should recommend wget, used when using DI_WWW_HOME.
From: Steve McIntyre <steve@einval.com>
Date: Sat, 29 Apr 2017 10:22:16 +0100
Message-id: <[🔎] 20170429092210.GO28360@einval.com>
Reply-to: Steve McIntyre <steve@einval.com>, 861436@bugs.debian.org
In-reply-to: <[🔎] 87a870dmdm.fsf@aikidev.net>
References: <[🔎] 87a870dmdm.fsf@aikidev.net>

Control: tag -1 +pending

On Fri, Apr 28, 2017 at 06:37:57PM -0700, Vagrant Cascadian wrote:
>Package: debian-cd
>Version: 3.1.19
>Severity: normal
>Tags: patch
>
>When DI_WWW_HOME is set, debian-cd uses wget to download the installer
>images. Since not everyoone will use DI_WWW_HOME, adding wget to
>recommends seems appropriate.

ACK, thanks for the patch. In git now.

-- 
Steve McIntyre, Cambridge, UK.                                steve@einval.com
Is there anybody out there?

Reply to:

References:
- Bug#861436: debian-cd: Should recommend wget, used when using DI_WWW_HOME.
  - From: Vagrant Cascadian <vagrant@debian.org>

Prev by Date: Bug#861436: debian-cd: Should recommend wget, used when using DI_WWW_HOME.
Next by Date: Processed: Re: Bug#861436: debian-cd: Should recommend wget, used when using DI_WWW_HOME.
Previous by thread: Bug#861436: debian-cd: Should recommend wget, used when using DI_WWW_HOME.
Next by thread: Processed: Re: Bug#861436: debian-cd: Should recommend wget, used when using DI_WWW_HOME.
Index(es):
- Date
- Thread