|
grep, anyone?
i forget how to do this... i have a lot of text repetitively that needs to be replaced in html, and if i remember right you can do that with grep and something else. basically i just need some numbers changed, i.e. '001' to '002', then '002' to '003', and so on. but it's annoying doing this 100 times in a document. thanks
|