Christian Clercin wrote:
> 
>  "ex" does the job too, but perhaps not exactly as you want :
> 
>  ex -e '%g/&$/j' filename
> 
> where "filename" is the name of the file containing your stuff.
> 
> NB 1. Difference : it is not entirely batch mode, since you enter
> in interactive mode and have to quit with "x" (or wq).
> 

you can put the ex commands in a file, with "x" being the last
command, and execute 

  ex filename < commandfile

that'll let you do it in batch mode.

<snip>

-jdr-

-
To unsubscribe from this list: send the line "unsubscribe linux-newbie" in
the body of a message to [EMAIL PROTECTED]
Please read the FAQ at http://www.linux-learn.org/faqs

Reply via email to