🔒 Repository is read-only – file editing is disabled.

recipes/gui/arduino-ide/arduino-ide.sh main

11 linii Raw ← Powrót
1234567891011 
#!/bin/bash

XDG_CONFIG_HOME=${XDG_CONFIG_HOME:-~/.config}

# Allow users to override command-line options
if [[ -f $XDG_CONFIG_HOME/arduino-flags.conf ]]; then
   ARDUINO_USER_FLAGS="$(sed 's/#.*//' $XDG_CONFIG_HOME/arduino-flags.conf | tr '\n' ' ')"
fi

# Launch
exec /usr/lib/arduino-ide/arduino-ide "$@" $ARDUINO_USER_FLAGS