[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
03/40: scripts: build: Handle EPIPE errors when displaying help.
From: |
guix-commits |
Subject: |
03/40: scripts: build: Handle EPIPE errors when displaying help. |
Date: |
Tue, 17 Oct 2023 08:54:38 -0400 (EDT) |
zimoun pushed a commit to branch master
in repository guix.
commit de63efc802f1cb4d7b41bb5a88dba245ba351236
Author: Simon Tournier <zimon.toutoune@gmail.com>
AuthorDate: Mon Oct 16 18:36:14 2023 +0200
scripts: build: Handle EPIPE errors when displaying help.
* guix/scripts/build.scm (%options): Handle EPIPE errors when displaying
help.
---
guix/scripts/build.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/guix/scripts/build.scm b/guix/scripts/build.scm
index 72a24f91ac..05f022a92e 100644
--- a/guix/scripts/build.scm
+++ b/guix/scripts/build.scm
@@ -477,7 +477,7 @@ Build the given PACKAGE-OR-DERIVATION and return their
output paths.\n"))
;; Specifications of the command-line options.
(cons* (option '(#\h "help") #f #f
(lambda args
- (show-help)
+ (leave-on-EPIPE (show-help))
(exit 0)))
(option '(#\V "version") #f #f
(lambda args
- 11/40: scripts: edit: Handle EPIPE errors when displaying help., (continued)
- 11/40: scripts: edit: Handle EPIPE errors when displaying help., guix-commits, 2023/10/17
- 29/40: scripts: repl: Handle EPIPE errors when displaying help., guix-commits, 2023/10/17
- 17/40: scripts: import: Handle EPIPE errors when displaying help., guix-commits, 2023/10/17
- 32/40: scripts: show: Handle EPIPE errors when displaying help., guix-commits, 2023/10/17
- 34/40: scripts: style: Handle EPIPE errors when displaying help., guix-commits, 2023/10/17
- 25/40: scripts: publish: Handle EPIPE errors when displaying help., guix-commits, 2023/10/17
- 31/40: scripts: shell: Handle EPIPE errors when displaying help., guix-commits, 2023/10/17
- 38/40: scripts: upgrade: Handle EPIPE errors when displaying help., guix-commits, 2023/10/17
- 22/40: scripts: pack: Handle EPIPE errors when displaying help., guix-commits, 2023/10/17
- 23/40: scripts: package: Handle EPIPE errors when displaying help., guix-commits, 2023/10/17
- 03/40: scripts: build: Handle EPIPE errors when displaying help.,
guix-commits <=
- 30/40: scripts: search: Handle EPIPE errors when displaying help., guix-commits, 2023/10/17
- 39/40: scripts: weather: Handle EPIPE errors when displaying help., guix-commits, 2023/10/17
- 35/40: scripts: system: Handle EPIPE errors when displaying help., guix-commits, 2023/10/17