#!/bin/sh
t="$@"
echo -e '\033]2;'$t'\007' 1>&2
"$@"