Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: time command with shell builtins

On Thu, Jan 26, 2023 at 08:56:34AM -0800, Bart Schaefer wrote:
> On Thu, Jan 26, 2023 at 8:23 AM Dominik Vogt <dominik.vogt@xxxxxx> wrote:
> >
> > Is there a more elegant way to chek if the command is in a
> > blacklist than this one?
> >
> >   if [[ -z "${1:|_zsh_recordtime_skip_list}" ]]; then

Thanks.

> Alternate methods, judgement on elegance reserved:
>
> if (( ${_zsh_recordtime_skip_list[(Ie)$1]} )); then
                                   ^^^^^^^^

What is the meaning of flags inside brackets?  I can't find
anything in the man page.

Ciao

Dominik ^_^  ^_^

--

Dominik Vogt
Messages sorted by: Reverse Date, Date, Thread, Author