Bug#719328: Debian Edu DVD/USB Image does not install without network

To: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>, 719328@bugs.debian.org
Subject: Bug#719328: Debian Edu DVD/USB Image does not install without network
From: Petter Reinholdtsen <pere@hungry.com>
Date: Sat, 10 Aug 2013 23:22:52 +0200
Message-id: <[🔎] 20130810212252.GE29078@ulrik.uio.no>
Reply-to: Petter Reinholdtsen <pere@hungry.com>, 719328@bugs.debian.org
In-reply-to: <[🔎] 20130810231433.13785lwgqs27fvp5@mail.das-netzwerkteam.de>
References: <[🔎] 20130810231433.13785lwgqs27fvp5@mail.das-netzwerkteam.de>

[Mike Gabriel]
> I guess, apt-file should be removed from the Avoid: field.

Yes, it should. :)

-- 
Happy hacking
Petter Reinholdtsen

Reply to:

Follow-Ups:
- Bug#719328: Debian Edu DVD/USB Image does not install without network
  - From: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>

References:
- Bug#719328: Debian Edu DVD/USB Image does not install without network
  - From: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>