删除库，无法在 Raspbian 文件管理器中删除文件夹

问题描述

我不小心将一个 Tool 文件夹 (https://github.com/me-no-dev/EspExceptionDecoder) 粘贴到我的 Arduino Library 文件夹中，它现在是我的 Libraries 目录中的一个子文件夹。请参阅下面的屏幕截图。

Arduino 抛出一个错误，每个脚本告诉我“库”不正确，缺少 .h 文件 - 因为它是一个 TOOL，而不是一个 LIBRARY，并且它位于错误的位置。

当我进入文件管理器删除文件夹或将其移动到库文件夹时，编辑 - 剪切和编辑 - 移动到垃圾箱是灰色的。从树中右键单击此文件夹也不允许我删除它，与删除键相同。

我已删除此文件夹中的文件，但空文件夹仍在我的库文件夹中，而且我在 Arduino IDE 中仍然出现错误。\

如何从库文件夹中删除这个现在为空的子文件夹？此处的屏幕截图：enter image description here

我已经退出IDE，甚至重新启动，但仍然无法删除此文件夹。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）