Как проверить, является ли file1 префиксом file2?

У меня есть два файла с размерами 124665 и 124858 в байтах, и я хочу проверить, является ли file1 префиксом file2 или нет.

Предположим, у вас есть размер file1переменной FILE1_SZи ваша headреализация поддерживает (нестандартную) -cопцию:

if head -c "$FILE1_SZ" file2 | cmp -s - file1; then
    echo "file1 is a prefix of file2"
else
    echo "file1 is not a prefix of file2"
fi

Если ваша система имеет cmpкоманду из GNU diffutils, то одна из опций

cmp -n 124665 file1 file2

сравнить не более первых 124665 байтов двух файлов и сообщить, отличаются ли они - или, в более общем случае,

cmp -n "$(wc -c < file1)" file1 file2

GNU cmpможет решить проблему проще:

cmp file1 file2

Есть четыре возможных выхода (исключая какую-то ошибку).

• Нет вывода: файлы идентичны.

• cmp: EOF on file1: file1 является префиксом file2.

• cmp: EOF on file2: file2 является префиксом file1.

• file1 file2 differ: byte NNN, line MMM: Ни один не является префиксом другого.

К сожалению, это немного неудобно для использования в скрипте, так как эти случаи, кажется, не различаются в коде выхода. Более того, EOF on file1сообщения отправляются в stderr, а file1 file2 differсообщения - в stdout.

Я предполагаю, что другие версии cmpделают что-то подобное, но я не проверял.