Newsgroups: comp.unix.shell

I only now discovered the special handling of redirections to /dev/tcp/host/port introduced with Bash 2.x, and I like this small contruct which requests the main page from a web server:

{ echo "GET /" >&0; cat; } <>/dev/tcp/www.server.com/80

Also the first time a "<>" redirection is useful for me … ;-)

Martin Ramsch