Ich habe die Parameter „Automount“ und „Automount-Open“ in org.gnome.desktop.media-handling eingerichtet. Habe alle USB-Anschlüsse ausprobiert, USB ist FAT32-formatiert. Das Mounten über das Terminal funktioniert, habe auch eine bequemere Mount-Methode gefunden, nämlich das Fenster „Disks“, aber Automounten wäre trotzdem besser.