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
    5
    ·
    1 month 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.