In addition, gawk allows you to specify the special file name /dev/stdin , both on the command line and with getline . Some other versions of awk also support ...
確定! 回上一頁