[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Adding option to select file types
From: |
Greg Wooledge |
Subject: |
Re: Adding option to select file types |
Date: |
Mon, 5 Jul 2021 12:48:41 -0400 |
On Mon, Jul 05, 2021 at 03:30:45PM +0000, Leonid Isaev (ifax) wrote:
> On Mon, Jul 05, 2021 at 08:50:09AM -0400, Greg Wooledge wrote:
> > local dir=$3
> > ...
> > local findargs=( "$dir" '(' )
>
> One probably should check if "$dir" starts with a "-" (and prepend ./ if so)?
Maybe. It's also a valid choice to let the command fail, and put
the burden on the caller to prefix their starting directory name with
./ (or to use an absolute path) if needed.
Adding option to select file types, lisa-asket, 2021/07/07