1

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.

dda
1,5951 gold badge12 silver badges17 bronze badges
asked Mar 29, 2018 at 14:26
4
  • same place <ArduinoIDE_folder>/lib/formatter.conf Commented Mar 29, 2018 at 15:13
  • @Juraj , as <ArduinoIDE_folder> do u mean <user>/.arduino15? Commented Mar 29, 2018 at 15:25
  • no, .arduino15 is on Windows C:\Users\User\AppData\Local\Arduino15. I installed Arduino IDE on linux into /home/user/arduino-1.8.5 Commented Mar 29, 2018 at 15:43
  • I have my custom formatter.conf in /home/<user>/.arduino15 Commented Mar 29, 2018 at 15:56

1 Answer 1

1

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.

dda
1,5951 gold badge12 silver badges17 bronze badges
answered Mar 29, 2018 at 16:27
1
  • 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. Commented Mar 29, 2018 at 19:43

Your Answer

Draft saved
Draft discarded

Sign up or log in

Sign up using Google
Sign up using Email and Password

Post as a guest

Required, but never shown

Post as a guest

Required, but never shown

By clicking "Post Your Answer", you agree to our terms of service and acknowledge you have read our privacy policy.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.