bash: restrict \e]7 to gnome-terminal as xterm