From 0251d65b7a43f22b1a96b3b98a702156c3b47927 Mon Sep 17 00:00:00 2001
From: Ricardo Pardini <ricardo@pardini.net>
Date: Mon, 31 Jul 2023 01:06:09 +0200
Subject: [PATCH] repo-reprepro.py: set -e & pipefail

---
 lib/tools/info/repo-reprepro.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/tools/info/repo-reprepro.py b/lib/tools/info/repo-reprepro.py
index 182a4e0083..21f39aa202 100644
--- a/lib/tools/info/repo-reprepro.py
+++ b/lib/tools/info/repo-reprepro.py
@@ -88,6 +88,8 @@ log.info(f"Wrote {reprepro_conf_options_fn}")
 # Prepare the reprepro-invoking bash script
 bash_lines = [
 	"#!/bin/bash",
+	'set -e',
+	'set -o pipefail',
 	'mkdir -p "${REPO_CONF_LOCATION}"',
 	'cp -rv "${REPREPRO_INFO_DIR}/conf"/* "${REPO_CONF_LOCATION}"/',
 	# run clearvanished