diff options
| author | f380cedric <f380cedric@users.noreply.github.com> | 2022-06-10 18:16:29 +0200 |
|---|---|---|
| committer | f380cedric <f380cedric@users.noreply.github.com> | 2022-06-10 18:16:29 +0200 |
| commit | 3a2f4a55fa966a6c095639193cb9ab1f3a3d8229 (patch) | |
| tree | a3403d6b68234f423842677f5ae558e2701ccca8 /mailsync.1 | |
| parent | cefb66a8f03cab34b21aa47aaaad17e37dc8d377 (diff) | |
Fix: find & case-insensitive filesystem
On case-insensitive filesystem,
`inbox` and `Inbox` are the same path.
Running `find Inbox inbox [expr]` will print twice the same information.
Use shell glob instead:
`find` will descend into path `inbox`,
ignoring letter cases, only once.
Fix #828.
Diffstat (limited to 'mailsync.1')
0 files changed, 0 insertions, 0 deletions