mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01:00
Updated manpage
This commit is contained in:
parent
a013ab2dda
commit
f876733491
@ -92,6 +92,10 @@ OPTIONS
|
||||
not given, verbose mode is disabled regardless of the current
|
||||
preferences.
|
||||
|
||||
*--preferences-file* __filename__::
|
||||
Read and store preferences from the specified __filename__ instead
|
||||
of the default one.
|
||||
|
||||
*--pref* __name__=__value__::
|
||||
Sets the preference __name__ to the given __value__.
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user