From 96310c759008af462e04d93f4e93bb229155ff1d Mon Sep 17 00:00:00 2001
From: Timm Fitschen <timm.fitschen@ds.mpg.de>
Date: Mon, 19 Nov 2018 13:02:20 +0100
Subject: [PATCH] fix problem with printf

---
 patches/utils/patch_header.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/patches/utils/patch_header.sh b/patches/utils/patch_header.sh
index b51e971..3ee4265 100644
--- a/patches/utils/patch_header.sh
+++ b/patches/utils/patch_header.sh
@@ -28,13 +28,13 @@ CMD_OPTIONS="options:\n\n-h, --help\n\tShow brief help.\n-l LOGIN_PATH, --login-
 set -e
 
 function _print_help() {
-  printf "$USAGE"
-  printf "$CMD_OPTIONS"
+  printf -- "$USAGE"
+  printf -- "$CMD_OPTIONS"
   if [ -n "$PRINT_HELP" ]; then
     printf -- "$PRINT_HELP"
   fi
   if [ -n "$1" ]; then
-    printf "$1"
+    printf -- "$1"
   fi
 }
 while test $# -gt 0; do
-- 
GitLab