Date: Sat, 20 Apr 2002 20:01:35 -0700 (PDT) From: <cy@FreeBSD.org> To: andrew@ugh.net.au, cy@FreeBSD.org, freebsd-ports@FreeBSD.org Subject: Re: ports/37290: New port: tool for setting the title of xterms Message-ID: <200204210301.g3L31Zd27349@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
Synopsis: New port: tool for setting the title of xterms
State-Changed-From-To: open->feedback
State-Changed-By: cy
State-Changed-When: Sat Apr 20 19:58:48 PDT 2002
State-Changed-Why:
Why do we need this port? The following shell script can set XTerm
titles without the overhead of a port:
function title {
echo -n '^[]0;'
echo -n $1
echo -n '^G'
}
http://www.freebsd.org/cgi/query-pr.cgi?pr=37290
To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-ports" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200204210301.g3L31Zd27349>