Copy property and otther files.

Author: martacarbone

debian/arduino-app-cli/DEBIAN/postinst

@@ -10,5 +10,7 @@ if [ "$1" = "configure" ]; then
   if dpkg --compare-versions "$2" lt "0.9.0"; then
     echo "Running pre-0.9.0 legacy migration..."
     rm -rf /home/arduino/.local/share/arduino-app-cli/examples
+    rm -rf /home/arduino/.local/share/arduino-app-cli/properties.msgpack*
+    rm -rf /home/arduino/.local/share/arduino-app-cli/bootloader_burned.flag
   fi
 fi

debian/arduino-app-cli/DEBIAN/preinst

@@ -34,5 +34,7 @@ if [ "$1" = "upgrade" ]; then
     cleanup_arduino_examples /home/arduino/.local/share/arduino-app-cli/examples
     mkdir -p /var/lib/arduino-app-cli
     cp -rf /home/arduino/.local/share/arduino-app-cli/examples /var/lib/arduino-app-cli
+    cp -rf /home/arduino/.local/share/arduino-app-cli/properties.msgpack* /var/lib/arduino-app-cli
+    cp -rf /home/arduino/.local/share/arduino-app-cli/bootloader_burned.flag /var/lib/arduino-app-cli
   fi
 fi