Bug#920861: Use same $HOSTNAME for hosts on LAN and WiFi

2019-01-29 Thread Mike Gabriel
Hi, On Di 29 Jan 2019 22:32:40 CET, Dominik George wrote: Hi, at the schools we maintain in Schleswig-Holstein, we regularly run into an issue that becomes more and more pressing. We add puppet on top of Debian Edu to maintain the system over the years and deploy customer requested changes

Bug#920861: Use same $HOSTNAME for hosts on LAN and WiFi

2019-01-29 Thread Dominik George
Hi, > at the schools we maintain in Schleswig-Holstein, we regularly run into an > issue that becomes more and more pressing. > > We add puppet on top of Debian Edu to maintain the system over the years and > deploy customer requested changes on top of Debian Edu systems. > > Puppet is really pi

Bug#920861: Use same $HOSTNAME for hosts on LAN and WiFi

2019-01-29 Thread Mike Gabriel
Package: debian-edu-config Version: 2.10.58 Severity: wishlist Hi, at the schools we maintain in Schleswig-Holstein, we regularly run into an issue that becomes more and more pressing. We add puppet on top of Debian Edu to maintain the system over the years and deploy customer requested ch

Re: Bug#920732: strip-nondeterminism should normalize file ownerships in epubs too

2019-01-29 Thread Chris Lamb
Hi Holger, > │ │ │ │ │ --rw-r--r-- 0 255 Jan 1 1970 epub/META > │ │ │ │ │ +-rw-r--r-- 0 255 Jan 1 1970 epub/META Hm, I can confirm this in Git (currently 3f4ba2fb8). Indeed, it appears to be already handled with: my $uid_len = ord(substr($field, $pos +

debian-edu-config_2.10.58_source.changes ACCEPTED into unstable

2019-01-29 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 29 Jan 2019 15:02:50 +0100 Source: debian-edu-config Architecture: source Version: 2.10.58 Distribution: unstable Urgency: medium Maintainer: Debian Edu Developers Changed-By: Holger Levsen Changes: debian-edu-

Processing of debian-edu-config_2.10.58_source.changes

2019-01-29 Thread Debian FTP Masters
debian-edu-config_2.10.58_source.changes uploaded successfully to localhost along with the files: debian-edu-config_2.10.58.dsc debian-edu-config_2.10.58.tar.xz debian-edu-config_2.10.58_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)

Re: [Git][debian-edu/debian-edu-config][master] 032-edu-pkgs: merge those ten apt-get purge calls into one.

2019-01-29 Thread Wolfgang Schweer
On Mon, Jan 28, 2019 at 08:03:43AM +0100, Petter Reinholdtsen wrote: > Trying to purge non-installed packages is not a bug in the ISO, it is a > feature, to ensure some packages are removed no matter which profile is > selected. While purging non-installed packages doesn't harm if only a single p