or is copying the bookmarks as a html file the only way?

ETA: thank you for your input, problem solved.

  • takeheart@lemmy.world
    link
    fedilink
    arrow-up
    4
    ·
    7 months ago

    You can export all your bookmarks to a single JSON file. it’s a format designed for storing and exchanging data between machines just like this.

    Also good for making local backups of your favorites.