Bug#971775: debian-edu-config: LOCALCACRT file empty in fetch-rootca-cert init script

[Mike Gabriel]

Ooopsie...

On  Mi 07 Okt 2020 00:56:07 CEST, Mike Gabriel wrote:

The patch in the previous mail has been wrong (missing '!' aka 'not' in if clause):

```

index 7f65d3d5..c14bef44 100755
--- a/debian/debian-edu-config.fetch-rootca-cert
+++ b/debian/debian-edu-config.fetch-rootca-cert
@@ -31,7 +31,7 @@ do_start() {
        rm -f $BUNDLECRT

        # RootCA cert retrieval
-       if [ ! -f $LOCALCACRT ] ; then
+       if [ ! -f $LOCALCACRT ] || [ ! -s $LOCALCACRT ]; then
                # Since Debian Edu 10, the RootCA file is distributed

                #
```

diff --git a/debian/debian-edu-config.fetch-rootca-cert b/debian/debian-edu-config.fetch-rootca-cert # over http (always via the host serving www.intern, by default: TJENER)

Mike
--

DAS-NETZWERKTEAM
c\o Technik- und Ökologiezentrum Eckernförde
Mike Gabriel, Marienthaler Str. 17, 24340 Eckernförde
mobile: +49 (1520) 1976 148
landline: +49 (4351) 850 8940

GnuPG Fingerprint: 9BFB AEE8 6C0A A5FF BF22  0782 9AF4 6B30 2577 1B31
mail: mike.gabr...@das-netzwerkteam.de, http://das-netzwerkteam.de

pgpERSO6F4wJX.pgp
Description: Digitale PGP-Signatur