From 690a5be664cdfbd914582e4c59672426356250ea Mon Sep 17 00:00:00 2001 From: Frank Terbeck Date: Tue, 19 Apr 2011 23:05:16 +0200 Subject: [PATCH] Waste less space in window titles [Closes: issue979] Code suggested by Bernhard, minor adjustments by me. Reported-by: Bernhard Tittelbach Signed-off-by: Frank Terbeck --- etc/zsh/zshrc | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/etc/zsh/zshrc b/etc/zsh/zshrc index 0b82cb3..e1515dc 100644 --- a/etc/zsh/zshrc +++ b/etc/zsh/zshrc @@ -2052,9 +2052,7 @@ function info_print () { esc_end="$2" shift 2 printf '%s' ${esc_begin} - for item in "$@" ; do - printf '%s ' "$item" - done + printf '%s' "$*" printf '%s' "${esc_end}" } -- 2.1.4