Como verificar se arquivo1 é um prefixo de arquivo2?

Eu tenho dois arquivos com tamanhos 124665 e 124858 em bytes e quero verificar se file1 é um prefixo de file2 ou não.

Supondo que você tenha o tamanho de file1na variável FILE1_SZe sua headimplementação suporte a opção (não padrão) -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

Se o seu sistema possui o cmpcomando do GNU diffutils, uma opção é

cmp -n 124665 file1 file2

comparar no máximo os primeiros 124665 bytes dos dois arquivos e relatar se eles diferem - ou, mais geralmente

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

O GNU cmppode resolver o problema de uma maneira mais fácil:

cmp file1 file2

Existem quatro saídas possíveis (exceto algum tipo de erro).

• Sem saída: os arquivos são idênticos.

• cmp: EOF on file1: arquivo1 é um prefixo do arquivo2.

• cmp: EOF on file2: arquivo2 é um prefixo de arquivo1.

• file1 file2 differ: byte NNN, line MMM: Nem um prefixo do outro.

Infelizmente, isso é um pouco estranho de usar em um script, pois esses casos não parecem se distinguir no código de saída. Além disso, as EOF on file1mensagens vão para stderr, enquanto as file1 file2 differmensagens vão para stdout.

Presumo que outras versões do cmpfaçam algo semelhante, mas não verifiquei.