back
toc
next
REs are greedy
eliminating HTML-tags from a file
bash$ sed -e 's/<.*>//g' text.html