Як перевірити, чи є 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роблять щось подібне, але я не перевіряв.