select ' \! echo -ne "\033]0;['||pg_backend_pid() ||' ' ||user||'@' ||inet_server_addr() || ']\007"';