I have a file (actually a very long*log) which I'd like to
clean up for viewing, via a small script for use when I get an
The file has lines like this scattered through it:
   [15
Can anyone deeply versed in the ways of sed or similar
provide a method of coping with this to produce
   
Or, second choice, a way of deleting any line with just [ ] or numerals.
Thanks in advance.
David Kennedy, Dept. of Pure & Applied Physics, Queen's University of Belfast
My .sig was so clever that it actually escaped!