Subject: [bug#54998] [PATCH] gnu: Add servefile.

From: Maxime Devos <[email-masked]>
Date: Mon, 18 Apr 2022 13:58:44 +0200

Stefan Reichör schreef op zo 17-04-2022 om 23:29 [+0200]:
> +     (origin
> +       (method url-fetch)
> +       (uri (pypi-uri "servefile" version))
> +       (sha256
> +        (base32
> +        

At
<https://github.com/sebageek/servefile/blob/0b010d5c10c5010963a8b8bc0e61cff914dd9b56/servefile/servefile.py#L861>
and following lines, things like 'ip', 'sed', 'grep' and 'ifconfig' are
run and may need to be absolutised with an appropriate 'substitute*'.

G