From 6efbb5353c08e6bcee24f3ed7314e51767a52d9e Mon Sep 17 00:00:00 2001 From: wolbyte Date: Sat, 9 Sep 2023 18:33:48 +0330 Subject: [PATCH] docs: terminate build on shell-script error --- docs/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/default.nix b/docs/default.nix index 5ea1d832..26a56891 100644 --- a/docs/default.nix +++ b/docs/default.nix @@ -236,7 +236,7 @@ with lib; let # Copy the generated MD docs into the build directory # Using pkgs.writeShellScript helps to avoid the "bash: argument list too long" error - ${pkgs.writeShellScript "copy_docs" docs.commands} + bash -e ${pkgs.writeShellScript "copy_docs" docs.commands} # Prepare SUMMARY.md for mdBook # Using pkgs.writeText helps to avoid the same error as above