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

[Mike Gabriel <mike.gabriel@das-netzwerkteam.de>]

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):

> ```
> diff --git a/debian/debian-edu-config.fetch-rootca-cert  
> b/debian/debian-edu-config.fetch-rootca-cert
> 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
>                 # 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.gabriel@das-netzwerkteam.de, http://das-netzwerkteam.de

Attachment: pgp05unF5FD4H.pgp
Description: Digitale PGP-Signatur