From d230a7af7a4d66f5311a3e7edcae18e7643cb134 Mon Sep 17 00:00:00 2001
From: Simon Ruderich <simon@ruderich.org>
Date: Tue, 29 Apr 2014 15:26:20 +0200
Subject: [PATCH] shell/functions: don't use echo on user strings

---
 shell/functions | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/shell/functions b/shell/functions
index 19109e7..12874c6 100644
--- a/shell/functions
+++ b/shell/functions
@@ -1,6 +1,6 @@
 # Shell functions useful to all shells.
 
-# Copyright (C) 2011-2012  Simon Ruderich
+# Copyright (C) 2011-2014  Simon Ruderich
 #
 # This file is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -22,7 +22,7 @@
 # available everywhere.
 source_debug() {
     if test "x$DEBUG" != x; then
-        echo "$@"
+        printf '%s' "$*"
     fi
 }
 
-- 
2.43.2