diff --git a/api/download_sources.sh b/api/download_sources.sh index 39bfe136..af1a2be1 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/*