• Mîm@lemmy.zip
    1·
    5 个月前

    That still doesn’t change the fact that a directory is a file. Even though it has some defined properties differentiating it from other files.

    • ulterno@programming.devEnglish
      0·
      5 个月前

      But that is the reason their search tool is not working. It’s probably configured for files, not directories.