Re: /dev/tcp

On 2026-08-19 14:20, Eli the Bearded wrote:
> What system(s) have /dev/tcp/* natively?
>    [...]
>                /dev/tcp/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 the corresponding TCP socket.

After several days, we have now ascertained that nobody ever implemented 
this with a true device interface - it is a fiction implemented by the 
shell intercepting the filename and diverting it.

Which is kinda strange. It seems like it should be easier to really do 
it as a true device interface. It would be easier for quick-and-dirty 
programs than the socket interface. Maybe the problem is the DNS lookup 
would have to be done below the kernel boundary? But would it really be 
that much harder than the weird stuff done with virtual file systems?

-- 
Lars Poulsen - an old geek in Santa Barbara, California