From mboxrd@z Thu Jan 1 00:00:00 1970 MIME-Version: 1.0 In-Reply-To: References: Date: Fri, 31 Jul 2009 12:54:04 +0200 Message-ID: <56a297000907310354k2a723447y665aa77d83721319@mail.gmail.com> From: Noah Evans To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Subject: Re: [9fans] detecting drawterm Topicbox-Message-UUID: 33798f7c-ead5-11e9-9d60-3106f5b1d025 /mnt/term/dev/hostdomain? AFAIK it's always drawterm.net. On Fri, Jul 31, 2009 at 12:31 PM, roger peppe wrote: > i'm probably being stupid here, but what's a good robust way > of detecting in $home/lib/profile that the remote connection > is from drawterm, so that i can start rio etc? > > currently the best i've got is to check /mnt/term/sysname, > but that falls down the moment i connect from a different host... > >