From a740fdbda8d4f3cccce5c2d98151d696bb34295a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Krist=C3=B3f=20T=C3=B3th?= <kristof.toth@avatao.com>
Date: Mon, 16 Apr 2018 20:46:26 +0200
Subject: [PATCH] Unify script headers

---
 hack/update_oneline_install.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/hack/update_oneline_install.sh b/hack/update_oneline_install.sh
index f2a4bb3..f7c3be0 100755
--- a/hack/update_oneline_install.sh
+++ b/hack/update_oneline_install.sh
@@ -1,5 +1,7 @@
 #!/usr/bin/env bash
-set -eo pipefail
+set -eu
+set -o pipefail
+set -o errtrace
 shopt -s expand_aliases
 
 if [ "$(uname)" == "Darwin" ]; then