Hello - I'm running Ubuntu GNOME 18.04. I've got a bunch of custom keyboard shortcuts set up that I'd like to copy over to another user account so I don't have to re-add them all one by one. Are shortcuts stored in a file someplace that I could just copy over to the other user, or is there some other kind of way I can achieve this? Thanks.
Bookmarks