FWIW, this doesn't work: https://clojurians.slack.com/archives/C0744GXCJ/p1656358518239949. I'm using Toolbox and it must be putting files elsewhere.

Hmm, the settings sync should work, I’m not sure why that wouldn’t.

They’re stored in files called repl-commands.xml, the project ones in your .idea folder inside your project, and global ones under the config directory (see here: https://www.jetbrains.com/help/idea/directories-used-by-the-ide-to-store-settings-caches-plugins-and-logs.html).

Actually, looking at the doc I see I’m missing some config to make those shareable via settings sync. Could you file an issue for that and I’ll get it fixed?

https://github.com/cursive-ide/cursive/issues/2820