How can I change Arduino IDE preferences for formatting? I found the preferences file: <user>/.arduino15/preferences.txt, but there are no lines that control IDE formatting. In Windows there is a special file for formatting: <ArduinoIDE_folder>/lib/formatter.conf.
1 Answer
It happened, that my formatter.conf was in /usr/share/arduino/lib/. So I copied it to /home/<user>/.arduino15/ folder and made changes that I needed. And also:
Copy it in the same folder of file "preferences.txt" and modify the copy. This way, you won't lose your custom formatter settings when upgrading the IDE.
-
That is correct. However, when upgrading, I often the remove the .arduino15 folder as well to make a fresh start. Recently I had to remove the .arduino15 folder without upgrading to a new version. The arduino ide was sometimes slow and had troubles when installing new libraries.Jot– Jot2018-03-29 19:43:43 +00:00Commented Mar 29, 2018 at 19:43
<ArduinoIDE_folder>/lib/formatter.conf<ArduinoIDE_folder>do u mean<user>/.arduino15?.arduino15is on WindowsC:\Users\User\AppData\Local\Arduino15. I installed Arduino IDE on linux into/home/user/arduino-1.8.5