#!/bin/bash
## restore colors and font
case "$TERMNAME" in
linux)
printf "\033[0m\033]R"
setfont 1>&2 2>/dev/null
clear 2>/dev/null
;;
gnome-terminal)
	:
;;
konsole)
	:
;;
esac
