Super User is a question and answer site for computer enthusiasts and power users. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have a large collection of html files (thousands), and need to change a single character that wasn't displaying properly on some browsers. Is there a quick and efficient way to do this?

share|improve this question
up vote 0 down vote accepted

Use Windows Grep. It is shareware, but there is a free trial.

share|improve this answer

Says here that Notepad++ is applicable for search&replace for (in this example) 8342 HTML files Notepad++ is a free source code editor

share|improve this answer
not really an answer to a batch script request, unless you know notepad++ also has a CLI interface capable of doing such a task – user2813274 Oct 1 '15 at 18:28

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .