Re: Un truc tordu

Startseite

Nachricht beantworten
Autor: Michel Karatchentzeff
Datum:  
To: guilde.nt
CC: liste Guilde
Betreff: Re: Un truc tordu
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