From 1df3a7c0832d21ac1da5e2e3647ee9777f16670e Mon Sep 17 00:00:00 2001 From: vPierre <72132223+Pierre-Gronau-ndaal@users.noreply.github.com> Date: Thu, 16 Jan 2025 13:41:37 +0100 Subject: [PATCH] Update download_sources.sh --- api/download_sources.sh | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/api/download_sources.sh b/api/download_sources.sh index 39bfe136f..af1a2be13 100644 --- a/api/download_sources.sh +++ b/api/download_sources.sh @@ -1,5 +1,9 @@ -#!/bin/bash -set -e +#!/usr/bin/env bash + +set -o errexit +set -o errtrace +set -o nounset +set -o pipefail skip_license () { copyright_file="$1" @@ -138,4 +142,4 @@ for package in `grep -Fxv -f pre_installed.txt post_installed.txt`; do done apt-get clean > /dev/null 2>&1 -rm -rf /var/lib/apt/lists/* \ No newline at end of file +rm -rf /var/lib/apt/lists/*