Re: Un truc tordu

Top Page

Reply to this message
Author: guilde.nt
Date:  
To: Michel Karatchentzeff
CC: liste Guilde
Subject: Re: Un truc tordu
> > Est-ce que sed ne ferait pas l'affaire ? :
> >
> > sed -i 's/.//; q' file
> >
>
> Malheureusement, non ; ça détruit même tout le fichier.
> Merci quand même, c'était à tenter


J'avais essayé l'idée comme ceci :

$ echo -e '\00abc' | sed 's/.//'

mais pas sur un fichier. Désolé pour le bruit.
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

-Nicolas T.