Le Wed, 28 Oct 2020, guilde.nt@??? a écrit :
> Voici des solutions testées sur un fichier commençant avec un NUL :
>
> $ sed -i '1s/.//' file
> $ { sed 's/.//; q' ; cat ; } <in >out
> $ echo -e '1s/.//\nwq\n' | ed file
>
> Mais l'outil qui peut manipuler des fichiers de tout type est dd :
>
> $ dd bs=1 skip=1 <in >out
>
> Et si le caractère à éliminer est le 100ème :
>
> $ { dd bs=1 count=99 ; dd bs=1 skip=1 ; } <in >out
En effet, ça marche bien. Dans mon cas, avec <U+FEFF> en début de fichier,
il m'a fallu supprimer les 3 premiers octets
dd bs=1 skip=3 < in > out
pour que cette séquence disparaisse.
Il serait intéressant de savoir d'où cette séquence provient et ce qu'elle
signifie.
Michel
--
Michel Karatchentzeff
Michel.Karatchentzeff@???
Fondation Louis de Broglie, 23, rue Marsoulan, 75012 Paris, FRANCE
http://MichelKaratchentzeff.free.fr
