Firefox bookmarks and homepage

[MakisH]

It would be nice to have precice.org as the homepage in Firefox, together with some common bookmarks.

The VM should also guide people on what they can actually try in it.

[fsimonis]

There are essentially 4 ways to do this:

1. Manage Bookmarks > Import and Backup > Export/Import to/from HTML
   An import will keep existing bookmarks.
2. Manage Bookmarks > Import and Backup > Backup/Restore (from json)
   Restoring will remove existing bookmarks. I cannot find a way to do this from CLI though.
   There is an internal testing JS function to trigger an import. But this isn't very sustainable.
3. Modify the sqlite3 database places in the profile directory.
   Could work, but needs some understanding.
4. Create bookmarks in Firefox, then copy the places database.
   To provision a new firefox profile, replace its places with the backup.

The latest is easy and "just works". Also edits are easy to do directly in Firefox.

Getting the default profile directory from ~/.mozilla/firefox/profiles.ini is a bit fiddly, but can be achieved using a bit of python and the STL package configparser.

[MakisH]

We definitely need something that works from the CLI, and one of the issues is indeed getting (or even creating) the default profile.