Самый быстрый / краткий однострочный интерфейс bash для извлечения заданных строк из файла

Я хочу извлечь из файла только строки с определенными номерами строк (у меня примерно 20-50 номеров строк, файл имеет 30 000 строк). До сих пор я нашел наиболее краткий способ сделать это, например:

gawk 'BEGIN {split("13193,15791,16891", A, ",")} NR in A' <file_name>

, но мне кажется, что я смогу еще больше сократить объем ввода. Я просмотрел sed , но я думаю, что мне нужны -n и -p для каждого номера строки, также думал о cat -n с grep , но он более подробный, чем приведенный выше. Кто-нибудь знает способ лучше?