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>