On more than one occasion I ended up editing files by piping them through sed be...

		dfox on May 20, 2013 \| parent \| context \| favorite \| on: Poll: Which is your primary text editor? On more than one occasion I ended up editing files by piping them through sed because even ed didn't work (it tends to require writable /tmp or something like that)