What line can I put into a startup script (.bash_profile) that will check whether I'm connecting from a local or remote tty? -- To unsubscribe: mail majordomo at ale.org with "unsubscribe ale" in message body.