#! /bin/sh . "$HOME/lib/config/mozilla_home" sed -e 's/<//g' -e 's/&/\&/g' \ "$mozilla_home/bookmarks.html" >_tmp.$$ && \ exec mv _tmp.$$ "$mozilla_home/bookmarks.html"