Я пытаюсь написать скрипт, который принимает два файла и число в качестве параметров и копирует это количество строк из одного файла в другой. Вот что у меня есть:
#!/bin/bash
file1=$1
file2=$2
lines=$3
sed -n '1,\'$lines\'p' $file1 > $file2
Очевидно, что проблема заключается в форматировании параметра $lines
. Какой правильный способ сделать это? Спасибо!