From 2633e1f9cdb8b65b452f7d73074b1afbdcde548e Mon Sep 17 00:00:00 2001 From: kurganme Date: Mon, 9 Mar 2015 14:58:33 +0100 Subject: [PATCH] You can specify the arduino tools directory with the environment variable ARDUINO_HOME --- ino/environment.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/ino/environment.py b/ino/environment.py index 8cb27e8..581ea77 100644 --- a/ino/environment.py +++ b/ino/environment.py @@ -81,6 +81,9 @@ class Environment(dict): if platform.system() == 'Darwin': arduino_dist_dir_guesses.insert(0, '/Applications/Arduino.app/Contents/Resources/Java') + if os.environ.get('ARDUINO_HOME') is not None: + arduino_dist_dir_guesses.insert(0, os.environ['ARDUINO_HOME']) + default_board_model = 'uno' ino = sys.argv[0]