IDEs Support (IntelliJ Platform) | JetBrains

Poroto20

Total activity 8
Last activity September 28, 2022 08:30
Member since September 14, 2022 09:20
Following 0 users
Followed by 0 users
Votes 1
Subscriptions 1

Created September 28, 2022 08:30

Yes, the URL specified for settings points to my local repo, which is a fork of the main repo. So instead of "git@git...." it points to "/Users/....." But I don't see any changes in my repo, even w...
- 0 votes
Created September 23, 2022 09:41

Sorry to bother you again. Our repo is not allowed to push from the IDE, so the IDE's Upstream URL point to my local repo. However; when I make changes to the preferences I don't see the changes in...
- 0 votes
Created September 15, 2022 08:39

I've changed the config both in the Project Default (stored in project) and Default (stored in IDE), and the changes go to that file (<project_root>/.idea/misc.xml) in both cases. How can I make th...
- 0 votes
Created September 14, 2022 12:00

Our inspection/Default.xml file in the settings repo looks like this: <inspections profile_name="Default" version="1.0"> <option name="myName" value="Default" /></inspections> <inspection_tool c...
- 0 votes
Created September 14, 2022 10:18

Can't we just add that entry to any XML file? (For instance, our default profile project.default.xml)
- 0 votes