From 9722e101ac6db6ec1dd0cd69679fc1cc29584cfb Mon Sep 17 00:00:00 2001 From: jackun Date: Mon, 23 Mar 2020 12:59:09 +0200 Subject: [PATCH] [build.sh] exit script on error --- build.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/build.sh b/build.sh index 376beb8b..3cb24196 100755 --- a/build.sh +++ b/build.sh @@ -1,4 +1,6 @@ -#!/bin/bash +#!/usr/bin/env bash +set -e + OS_RELEASE_FILES=("/etc/os-release" "/usr/lib/os-release") XDG_DATA_HOME="${XDG_DATA_HOME:-$HOME/.local/share}" XDG_CONFIG_HOME="${XDG_CONFIG_HOME:-$HOME/.config}"