Bash function `files` is similar to `search` but just for files.