argv minus one<p>It would be nice if <a href="https://mastodon.sdf.org/tags/FileManager" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FileManager</span></a> s had a command to “delete this folder permanently, bypassing the recycle bin, if and only if it is empty.”</p><p>The reason being that deleting an empty folder is usually harmless, whereas if the folder may or may not be empty then deleting it may or may not be harmless.</p><p>In the status quo, it is ironically safer to delete an empty folder using the command line than to use a <a href="https://mastodon.sdf.org/tags/GUI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GUI</span></a> because the rmdir command will fail if the folder is not empty!</p><p><a href="https://mastodon.sdf.org/tags/UX" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UX</span></a></p>