#! /bin/sh

dest_dir=$HOME/.mozilla/phd/`ls -1 $HOME/.mozilla/phd`
sed -e 's/&lt;/</g' -e 's/&gt;/>/g' -e 's/&amp;/\&/g' \
   $dest_dir/bookmarks.html >_tmp.$$ && \
exec mv _tmp.$$ $dest_dir/bookmarks.html