Unfortunately I'm not allowed to modify the file(s) in place, the library folder may be write protected (Library Manager of IDE 1.6.7).
I wonder why I can delete a directory, but cannot modify files in that directory.
Renaming libraries is not always a good idea, as long as this means that the file names have to be changed, and consequently all #includes, in a project or in multiple projects, have to be modified. This may be okay for the average user, but not when a developer can use a versioning system (git...) to switch among versions of the same library.
Please enter a valid email to subscribe
We need to confirm your email address.
To complete the subscription, please click the link in the
email we just sent you.
Thank you for subscribing!
via Egeo 16