Comment vérifier si file1 est un préfixe de file2?

J'ai deux fichiers de tailles 124665 et 124858 en octets et je veux vérifier si file1 est un préfixe de file2 ou non.

Supposons que vous ayez la taille de file1dans la variable FILE1_SZet que votre headimplémentation prenne en charge l' -coption (non standard) :

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

Si votre système a la cmpcommande de GNU diffutils, alors une option est

cmp -n 124665 file1 file2

comparer au maximum les 124665 premiers octets des deux fichiers et signaler s'ils diffèrent - ou, plus généralement

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

GNU cmppeut résoudre le problème d'une manière plus simple:

cmp file1 file2

Il y a quatre sorties possibles (sauf erreur).

• Pas de sortie: les fichiers sont identiques.

• cmp: EOF on file1: file1 est un préfixe de file2.

• cmp: EOF on file2: file2 est un préfixe de file1.

• file1 file2 differ: byte NNN, line MMM: Aucun n'est un préfixe de l'autre.

Malheureusement, c'est un peu gênant à utiliser dans un script, car ces cas ne semblent pas être distingués dans le code de sortie. De plus, les EOF on file1messages vont à stderr, tandis que le file1 file2 differmessage va à stdout.

Je suppose que les autres versions de cmpfont quelque chose de similaire, mais je n'ai pas vérifié.