[debbugs-tracker] bug#31522: closed ([PATCH] guix-install.sh: Fix chk_require exiting without warning.)

[GNU bug Tracking System]

Your message dated Sat, 19 May 2018 22:47:18 +0200
with message-id <address@hidden>
and subject line Re: [bug#31522] [PATCH] guix-install.sh: Fix chk_require 
exiting without warning.
has caused the debbugs.gnu.org bug report #31522,
regarding [PATCH] guix-install.sh: Fix chk_require exiting without warning.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
31522: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=31522
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: [PATCH] guix-install.sh: Fix chk_require exiting without warning. Date: Fri, 18 May 2018 17:29:19 -0400

Attached is a patch to fix a problem in the detection of missing
programs in the guix-install.sh Bash script.

Maxim

0001-guix-install.sh-Fix-chk_require-exiting-without-warn.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#31522] [PATCH] guix-install.sh: Fix chk_require exiting without warning.
>
>
>
>
> Date: 
>
> Sat, 19 May 2018 22:47:18 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux)
>
>
>
>
> Maxim Cournoyer <address@hidden> skribis:
>
> > From 726d05a99529823d94c3fff1fa8619953e384b44 Mon Sep 17 00:00:00 2001
> > From: Maxim Cournoyer <address@hidden>
> > Date: Fri, 18 May 2018 10:51:29 -0400
> > Subject: [PATCH] guix-install.sh: Fix chk_require exiting without warning.
> >
> > * etc/guix-install.sh (chk_require): Because of the set -e option, Bash was
> > exiting when the command `command -v "$c" &>/dev/null' was running on its
> > own. Instead, we now test the command and accumulate warning messages in a
> > single statement by chaining the command with a logical OR.
>
> Applied, thanks!  :-)
>
> Ludo'.
>
>
> --- End Message ---