Linux
注意空ディレクトリ削除
rmdir <dir>
空のディレクトリを削除する。中身があれば rm -r。
rmdir old_empty
rmdir <dir> (empty dirs only; use rm -r otherwise)
中身ありは削除できない(rm -r 参照)。
このサイトの全コマンドと対処フローを、まるごと端末の中に。通信なしで検索できます。インストール無料、広告なし。