diff options
author | Grey Christoforo | 2019-09-24 10:49:18 +0100 |
---|---|---|
committer | Grey Christoforo | 2019-09-24 10:50:53 +0100 |
commit | 895b2970fa96834b63bc1137a7af2e303ea752e2 (patch) | |
tree | b2da674302d63b17032d4d581f178ee8cb985f61 /arduino.install | |
download | aur-895b2970fa96834b63bc1137a7af2e303ea752e2.tar.gz |
initial commit
add srcinfo
Diffstat (limited to 'arduino.install')
-rw-r--r-- | arduino.install | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/arduino.install b/arduino.install new file mode 100644 index 000000000000..1634f6036117 --- /dev/null +++ b/arduino.install @@ -0,0 +1,40 @@ +post_install() { + echo ":: Add yourself to the uucp group to access the serial ports:" + echo " sudo usermod -a -G uucp <user>" + echo " Please checkout the wiki for further information." +} + +pre_upgrade() { + if [[ $(vercmp 1:1.6.12-1 "$2") -eq 1 ]]; then + echo "If arduino fails to install try to manually remove it first:" + echo "sudo pacman -Rs arduino" + fi +} + +_1:1.6.12_1_changes() { + echo ":: arduino is now split into arduino-builder, arduino-avr-core and arduino-docs" + echo " If arduino fails to run, check for a zombie folder:" + echo " ls -la /usr/share/arduino/hardware/avr" + echo " It might be left from a very old upgrade. Please remove it." +} + +_1:1.8.2_1_changes() { + echo ":: Setting new permissions (775 -> 755) for /usr/share/arduino/tools/WiFi101/ and subfolders" + chmod 755 /usr/share/arduino/tools/WiFi101/ + chmod 755 /usr/share/arduino/tools/WiFi101/tool/ + chmod 755 /usr/share/arduino/tools/WiFi101/tool/firmwares/ + chmod 755 /usr/share/arduino/tools/WiFi101/tool/firmwares/19.4.4/ +} + +post_upgrade() { + local v upgrades=( + 1:1.6.12-1 + 1:1.8.2-1 + ) + + for v in "${upgrades[@]}"; do + if [[ $(vercmp "$v" "$2") -eq 1 ]]; then + "_${v//-/_}_changes" + fi + done +} |