pipe to a different file descriptor
pipe to a different file descriptor Following up on Using while loop to ssh to multiple servers, i.e., for while IFS= read -r -u9 HOST ; do ssh "$HOST" "uname -a" ; done 9< servers.txt which reads from a different file descriptor (9), How to make it read from a pipe of a different file …