$ echo ${SSH_CLIENT/ */}
172.16.0.1
Man, that takes all the fun out of bash and pipelines ... :-)
But it looks like a nice bash parameter expansion - I don't recognise it. Where in the man page is it explained? It seems to be a general regexp substitution, which would be faster than a call to sed within a pipeline ...
-jim
