Voilà, j'ai retrouvé l'utilisation de ma machine, le traitement est terminé.
Verdict : les deux commandes ne donnent pas exactement le même résultat, -b -i affiche, en plus, du type/sous-type l'encodage.
Par chance pour moi, c'est la partie gauche qu'il me faut ; s'il s'était agi de la partie droite, j'aurais eu une surprise.
Par ailleurs, la commande compactée telle que je l'ai écrite dans le post précédent ne fonctionne pas. Entre les ", ', ` et autres symboles cabalistiques, le bash a de quoi en rendre chèvre plus d'un.
Mais comme ça fonctionne avec la commande en plusieurs morceaux, je ne vais pas me casser la tête pour le moment ; je verrai lorsque j'aurai du temps pour ça.
Pour info, voici comment je l'ai fagoté pour l'instant :
nom=basename "$f"
mime=$(file -b -i "$nom" # merci à Nany de m'avoir pointé --mime-type au lieu de -i
type=${mime%%/* # je m'attendais à ce qu'il faille écrire "$mime", mais non...
S'il me vient un jour de l'inspiration, je me repencherai dessus.
