Re: [PATCH] Set also the group of installed files

[Eli Zaretskii]

> Date: Thu, 21 Jun 2018 16:31:34 +0200
> From: Ulrich Mueller <address@hidden>
> 
> diff --git a/Makefile.in b/Makefile.in
> index 52d44d9708..d659d7a56f 100644
> --- a/Makefile.in
> +++ b/Makefile.in
> @@ -518,7 +518,10 @@ INSTALL_ARCH_INDEP_EXTRA = @INSTALL_ARCH_INDEP_EXTRA@
>  set_installuser=for installuser in $${LOGNAME} $${USERNAME} $${USER} \
>         `id -un 2> /dev/null`; do \
>         [ -n "$${installuser}" ] && break ; \
> -     done
> +     done; \
> +     installgroup=$$(id -gn 2>/dev/null); \
> +     [ -n "$${installgroup}" ] && \
> +       installuser="$${installuser}:$${installgroup}"

Is 'id' sufficiently portable to use it here?

Thanks.