# This depends on the ASCII character set. [ $'\e' = "$(printf "\033")" ]