Brilliant! Thank you.
And thanks to everyone else for the bash solutions. :)
On Sun, 2004-06-20 at 16:51, Matthew Gregan wrote:
> Since you're using SSH, just use the following while attached to the
> remote host:
>
> $ echo ${SSH_CLIENT/ */}
> 172.16.0.1
>
> Cheers,
> -mjg
