Jak sprawdzić, czy plik1 jest prefiksem pliku2?

Mam dwa pliki o rozmiarach 124665 i 124858 w bajtach i chcę sprawdzić, czy plik1 jest prefiksem pliku2, czy nie.

Załóżmy, że masz rozmiar file1zmiennej FILE1_SZi twoja headimplementacja obsługuje -copcję (niestandardową) :

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

Jeśli twój system ma cmppolecenie z GNU diffutils, to jedną z opcji jest

cmp -n 124665 file1 file2

porównać najwyżej pierwsze 124665 bajtów dwóch plików i zgłosić, jeśli się różnią - lub bardziej ogólnie

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

GNU cmpmoże rozwiązać problem w łatwiejszy sposób:

cmp file1 file2

Istnieją cztery możliwe wyniki (z wyjątkiem jakiegoś błędu).

• Brak danych wyjściowych: pliki są identyczne.

• cmp: EOF on file1: plik1 jest prefiksem pliku2.

• cmp: EOF on file2: plik2 jest prefiksem pliku1.

• file1 file2 differ: byte NNN, line MMM: Żaden nie jest przedrostkiem drugiego.

Niestety jest to trochę niewygodne w użyciu w skrypcie, ponieważ te przypadki nie wydają się być rozróżniane w kodzie wyjścia. Ponadto EOF on file1wiadomości trafiają do stderr, podczas gdy file1 file2 differwiadomość trafia do stdout.

Zakładam, że inne wersje cmprobią coś podobnego, ale nie sprawdziłem.