How to export settings from IntelliJ IDEA to a ZIP archive?

IntelliJ IDEA
2

2023-04-17--16-53-13

jetbrains.com/help/idea/sharing-your-ide-settings.html#import-export-settings