[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#66499] [PATCH v2 26/39] scripts: pull: Handle EPIPE errors when dis
From: |
Simon Tournier |
Subject: |
[bug#66499] [PATCH v2 26/39] scripts: pull: Handle EPIPE errors when displaying help. |
Date: |
Mon, 16 Oct 2023 19:29:44 +0200 |
Reported by Mathieu Othacehe <othacehe@gnu.org>.
* guix/scripts/pull.scm (%options): Handle EPIPE errors when displaying help.
---
guix/scripts/pull.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/guix/scripts/pull.scm b/guix/scripts/pull.scm
index 1904a6913a..58d3cd7e83 100644
--- a/guix/scripts/pull.scm
+++ b/guix/scripts/pull.scm
@@ -201,7 +201,7 @@ (define %options
(option '(#\h "help") #f #f
(lambda args
- (show-help)
+ (leave-on-EPIPE (show-help))
(exit 0)))
(option '(#\V "version") #f #f
(lambda args
--
2.38.1
- [bug#66499] [PATCH v2 05/39] scripts: container: Handle EPIPE errors when displaying help., (continued)
- [bug#66499] [PATCH v2 05/39] scripts: container: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 10/39] scripts: download: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 13/39] scripts: git: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 19/39] scripts: lint: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 16/39] scripts: home: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 15/39] scripts: hash: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 14/39] scripts: graph: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 18/39] scripts: install: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 17/39] scripts: import: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 27/39] scripts: refresh: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 26/39] scripts: pull: Handle EPIPE errors when displaying help.,
Simon Tournier <=
- [bug#66499] [PATCH v2 28/39] scripts: remove: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 31/39] scripts: shell: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 32/39] scripts: show: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 34/39] scripts: style: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 33/39] scripts: size: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 36/39] scripts: substitute: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 39/39] scripts: weather: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 20/39] scripts: locate: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 21/39] scripts: offload: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16
- [bug#66499] [PATCH v2 25/39] scripts: publish: Handle EPIPE errors when displaying help., Simon Tournier, 2023/10/16