#! /bin/sh
-dest_dir=$HOME/.mozilla/phd/`ls -1 $HOME/.mozilla/phd`
+. "$HOME/lib/config/mozilla_home"
sed -e 's/</</g' -e 's/>/>/g' -e 's/&/\&/g' \
- $dest_dir/bookmarks.html >_tmp.$$ && \
-exec mv _tmp.$$ $dest_dir/bookmarks.html
+ "$mozilla_home/bookmarks.html" >_tmp.$$ && \
+exec mv _tmp.$$ "$mozilla_home/bookmarks.html"