TIL: #bash provides pseudo devices for TCP and UDP connections:
echo "hello" > /dev/udp/127.0.0.1/1337
echo -e "GET / HTTP/1.0\n" >&5
I'm baffled how I've never discovered that until today.
@fribbledom Special handling of certain file names is for redirections, and it is a Bash feature.
"Bash handles several filenames specially when they are used in redirections, as described in the following table. If the operating system on which Bash is running provides these special files, bash will use them; otherwise it will emulate them internally..."
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!