Subject: Re: [bug#40601] [PATCH 2/5] guix-install.sh: Remove $UID bashism.

From: Vincent Legoll <[email-masked]>
Date: Wed, 23 Dec 2020 15:59:00 +0100

Hello,

On Wed, Dec 23, 2020 at 1:17 PM Christopher Baines <[email-masked]> wrote:
> > -[ "$UID" -eq 0 ] || { echo "This script must be run as root."; exit 1; }
> > +[ "$(id -u)" -eq 0 ] || { echo "This script must be run as root."; exit 1; }
> >
> >  REQUIRE=(
> >      "dirname"
>
> Should id be added as a requirement?

good catch !

thanks, I'll respin after this round of feedback

-- 
Vincent Legoll