David Farrell
00062bfcb6
chore: Use grep -E / grep -F instead of egrep / fgrep ( #2164 )
...
Ensures that the -E or -F option, when used, is the first option
* i.e. grep -oE => grep -E -o
Updates _bash-it-grep to invoke grep with just the provided arguments
* This function was (and still is) unused, but decided this new functionality was actually more useful
Introduces _bash-it-fgrep to invoke grep -F
Removes type -P egrep from the _bash-it-*grep functions
For usages that were already going to be modified, use -F if appropriate
* Does not touch grep usages that may have benefited from -F, but were not otherwise considered for this PR
Adds shellcheck header to modified .bash files that didn't already have it
2022-10-13 10:34:57 -07:00
..
2022-02-15 22:09:27 -08:00
2021-02-08 16:05:45 +01:00
2021-01-28 16:19:48 +02:00
2022-03-13 05:21:13 +05:30
2022-02-07 15:27:03 -08:00
2021-08-22 12:48:48 -07:00
2020-12-29 21:49:10 +02:00
2018-04-19 18:42:13 +02:00
2021-01-09 18:02:26 +02:00
2021-09-18 12:50:59 +03:00
2021-01-28 16:27:34 +02:00
2021-09-19 21:58:48 -07:00
2020-09-21 09:07:09 -05:00
2021-09-18 12:50:59 +03:00
2021-12-27 11:36:38 -08:00
2015-04-29 14:56:46 +02:00
2021-02-09 11:01:37 +01:00
2021-09-18 12:50:59 +03:00
2021-09-19 21:58:48 -07:00
2021-01-29 16:06:53 +02:00
2021-01-28 17:03:25 +02:00
2022-01-12 22:39:49 -08:00
2021-01-29 16:06:53 +02:00
2017-09-15 23:42:03 -04:00
2022-10-13 10:34:57 -07:00
2022-05-06 23:32:47 +05:30
2021-01-28 17:18:52 +02:00
2021-01-28 17:55:51 +02:00
2021-09-19 21:58:48 -07:00
2021-09-19 21:58:48 -07:00
2021-12-27 16:18:20 -08:00
2021-01-28 17:40:35 +02:00
2021-02-06 14:34:24 -06:00
2022-10-13 10:34:57 -07:00
2020-12-29 21:49:47 +02:00
2020-12-29 21:49:47 +02:00
2021-01-28 17:30:26 +02:00
2021-01-29 16:06:53 +02:00
2021-09-19 21:58:48 -07:00
2020-12-29 21:49:10 +02:00
2021-02-13 10:41:16 +02:00
2021-02-13 10:41:16 +02:00
2021-01-28 18:10:25 +02:00
2020-10-29 19:57:14 +02:00
2022-03-01 23:22:56 +02:00
2021-01-28 18:32:51 +02:00
2021-01-28 18:57:00 +02:00
2021-09-22 13:48:10 -07:00
2021-01-28 20:53:34 +02:00
2022-10-13 10:34:57 -07:00
2020-10-29 19:57:14 +02:00
2021-01-28 19:18:36 +02:00
2020-04-21 08:32:20 +02:00
2020-10-29 19:57:14 +02:00
2021-09-18 12:50:59 +03:00
2021-09-18 12:50:59 +03:00
2021-01-28 19:23:56 +02:00
2016-10-10 13:33:07 +06:00
2020-04-21 15:00:14 +02:00
2021-01-09 18:02:26 +02:00
2021-09-19 21:58:48 -07:00
2021-09-23 22:21:02 -07:00
2021-09-23 22:21:02 -07:00
2021-12-12 18:11:21 +08:00
2021-01-09 18:02:26 +02:00
2022-08-30 13:21:03 -05:00
2012-04-17 00:24:58 -04:00
2021-01-09 18:02:26 +02:00
2017-03-24 01:41:48 -07:00
2020-12-29 21:49:47 +02:00
2021-09-18 12:50:59 +03:00
2021-09-19 21:58:48 -07:00
2020-10-29 19:57:14 +02:00
2022-01-08 08:32:37 -08:00
2022-02-07 15:15:46 -08:00
2020-08-03 17:41:21 -05:00
2020-10-29 19:57:14 +02:00
2020-12-29 21:49:10 +02:00
2021-01-29 16:06:53 +02:00
2021-09-19 21:58:48 -07:00
2020-03-22 15:12:40 +01:00
2021-01-09 18:02:26 +02:00
2021-01-29 16:06:53 +02:00
2020-10-29 19:57:14 +02:00
2021-09-18 12:50:59 +03:00
2021-09-23 14:51:21 -07:00