Você precisa usá-lo em redirecionamentos :
Bash handles several filenames specially when they are used in redirections, as described in the following table:
...
/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.
Então:
printf "GET / HTTP/1.1\n\n" > /dev/tcp/74.125.225.19/80
é o caminho certo para usá-lo.
Quando você usou /dev/tcp/74.125.225.19/80
em um canal, bash
tentou executar um comando chamado /dev/tcp/74.125.225.19/80
e relatou um erro porque esse arquivo não existia.
A capacidade de lidar com /dev/tcp/host/port
e /dev/udp/host/port
no redirecionamento foi adicionada a bash
na versão 2.04.
Você precisa compilar a opção bash
with --enable-net-redirections
.