最快/最简洁的bash one-liner,用于从文件中提取指定的行

Ope*_*uce 5 bash perl awk grep sed

我想从文件中提取具有特定行号的行(我有大约20-50行号,文件有30,000行).到目前为止,我发现最简洁的方法是:

gawk 'BEGIN {split("13193,15791,16891", A, ",")} NR in A' <file_name>
Run Code Online (Sandbox Code Playgroud)

但似乎我应该能够进一步减少所涉及的打字数量.我看了sed,但我想我需要一个-n-p每个行号,也想过cat -ngrep,但它比上述更详细.有谁知道更好的方法?

jll*_*gre 9

Sed可以更简洁:

sed -n "13193p;15791p;16891p" file_name
Run Code Online (Sandbox Code Playgroud)