From d4a7c36840840f5da4be5ee2e1bcb48e9074597e Mon Sep 17 00:00:00 2001
From: Luca Cipriani <luca.opensource@gmail.com>
Date: Tue, 13 Jun 2017 17:41:30 +0200
Subject: [PATCH] Log file + $HOME instead of tilde

---
 arduino-connector.sh | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/arduino-connector.sh b/arduino-connector.sh
index c62e4753..61acfcda 100644
--- a/arduino-connector.sh
+++ b/arduino-connector.sh
@@ -1,5 +1,8 @@
 #/bin/bash -e
 
+logfile=arduino-connector-download.log
+exec > $logfile 2>&1
+
 has() {
 	type "$1" > /dev/null 2>&1
 	return $?
@@ -16,8 +19,8 @@ download() {
 	fi
 }
 
-cd ~
-mv /tmp/arduino-connector.cfg /tmp/certificate.pem /tmp/certificate.key ~
+cd $HOME
+mv /tmp/arduino-connector.cfg /tmp/certificate.pem /tmp/certificate.key $HOME
 rm -f arduino-connector
 download https://downloads.arduino.cc/tools/arduino-connector
 chmod +x arduino-connector