Bash handles several filenames specially when they are used in redirec-
tions, as described in the following table:
[gray](...)[/gray]
/dev/udp/host/port
If host is a valid hostname or Internet address, and port
is an integer port number or service name, bash attempts
to open a UDP connection to the corresponding socket.