Searching inside files in a script

[Khan Smith]

   How can I introduce an option in my bash script file to select either
   /bin/bash or /usr/local/bin/bash?

   Sent: Tuesday, October 12, 2021 at 8:17 PM
   From: "Tapani Tarvainen" <bash@tapanitarvainen.fi>
   To: help-bash@gnu.org
   Subject: Re: Searching inside files in a script
   On Tue, Oct 12, 2021 at 09:42:11PM +0200, Khan Smith
   (khansmith@mail.com) wrote:
   > [1][1]https://mywiki.wooledge.org/BashFAQ/032
   >
   > That is too complicated for me. I have
   >
   > grep -r "${isufx[@]}" -e "$ptrn" -- "${fdir[@]}"
   Try this:
   TIMEFORMAT='%R'
   tim=$( { time grep -r "${isufx[@]}" -e "$ptrn" -- "${fdir[@]}"
   >/dev/null; } 2>&1)
   TIMEFORMAT can also contain %U for user time or %S for system time
   (and some other stuff as well, see bash man page for details).
   If you wish to save the grep output, redirect it to a file rather than
   /dev/null.
   --
   Tapani Tarvainen

References

   1. https://mywiki.wooledge.org/BashFAQ/032