Bug#784254: ooniprobe: fails to purge: rmdir: failed to remove '/var/lib/ooni': No such file or directory

[Jérémy Bobbio]

Iain R. Learmonth:
> The attached patch fixes this, and will also remove the log directory if
> it is empty.

Thanks!

> +     [ -f /etc/default/ooniprobe ] && rm -f /etc/default/ooniprobe

The test is not needed:

    $ rm -f /nonexististant && echo "No big deal"
    No big deal

-- 
Lunar                                .''`. 
lu...@debian.org                    : :Ⓐ  :  # apt-get install anarchism
                                    `. `'` 
                                      `-   

signature.asc
Description: Digital signature