#!/bin/bash

# Das Skript "patch_arduino.sh" ändert die Arduino config Datei preferences.txt fuer 
# den angemeldeten Nutzer ab.

NEWPATH=$HOME/Home_auf_Server/sketchbook

sed -i 's|/home/linuxadmin/sketchbook|'$NEWPATH'|g'  $HOME/.arduino/preferences.txt

sed -i 's|/home/linuxadmin/sketchbook|'$NEWPATH'|g'  $HOME/.arduino15/preferences.txt