Bug Report

Lib uninstall should not only remove libs from the index but also remove the corresponding binary in .arduino15/staging/libraries/ or at least have an option to avoid removing the lib binary. Default behaviour should be to remove the bin too.

Current behavior

$ arduino-cli lib install 'WiFiNINA'Downloading WiFiNINA@1.4.0...WiFiNINA@1.4.0 already downloadedInstalling WiFiNINA@1.4.0...Installed WiFiNINA@1.4.0$ arduino-cli lib uninstall 'WiFiNINA'Uninstalling WiFiNINA@1.4.0...$ ls -l ~/.arduino15/staging/libraries/total 232-rw-r--r-- 1 luca luca  83192 Jul 15 14:49 WiFiNINA-1.4.0.zip$ arduino-cli lib download 'WiFiNINA'WiFiNINA@1.4.0 already downloaded

Expected behavior

Uninstall should remove the lib file

Environment

• CLI version (output ofarduino-cli version): arduino-cli Version: 0.3.7-alpha.preview Commit: BuildDate: 2019-07-17 10:37:06.0191213 +0000 UTC
• Go version (if building from sources): 1.12
• OS version: Windows 10, Windows WSL