user21120: I've seen that it is possible to use terminal command to verify software instead of using the IDE. Something like arduino --verify lab.ino.
Is there a way to do so on Mac OS?
Thank you

user21120: I managed to verify code from terminal by invoking /Applications/Arduino.app/Contents/MacOS/Arduino --verify lab.ino BUT this command automatically starts the IDE and exits it afterwards. Even with an IDE instance open it will start a new one. This is annoying since it will switch the active workspace away, but it kinda works. See arduino manpage.

21120: <p>I've seen that it is possible to use terminal command to verify software instead of using the IDE. Something like <code>arduino --verify lab.ino</code>.
Is there a way to do so on Mac OS?</p>

<p>Thank you</p>
 21120: <p>I managed to verify code from terminal by invoking <code>/Applications/Arduino.app/Contents/MacOS/Arduino --verify lab.ino</code> BUT this command automatically starts the IDE and exits it afterwards. Even with an IDE instance open it will start a new one. This is annoying since it will switch the active workspace away, but it kinda works. See <a href="https://github.com/arduino/Arduino/blob/master/build/shared/manpage.adoc" rel="nofollow">arduino manpage</a>.</p>
