1
0
forked from aniani/vim
Files
vim/runtime/doc
Christian Brabandt 9eb1ce5315 patch 9.0.1946: filename expansion using ** in bash may fail
Problem:  filename expansion using ** in bash may fail
Solution: Try to enable the globstar setting

Starting with bash 4.0 it supports extended globbing using the globstar
shell option. This makes matching recursively below a certain directory
using the ** pattern work as expected nowadays.  However, we need to
explicitly enable this using the 'shopt -s globstar' bash command.

So let's check the bash environment variable $BASH_VERSINFO (which is
supported since bash 3.0 and conditionally enable the globstar option,
if the major version is at least 4. For older bashs, this at least
shouldn't cause errors (unless one is using really ancient bash 2.X or
something).

closes: #13002
closes: #13144

Signed-off-by: Christian Brabandt <cb@256bit.org>
2023-09-27 19:08:25 +02:00
..
2022-06-28 13:44:46 +01:00
2023-06-10 21:40:39 +01:00
2023-06-10 21:40:39 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-09-27 17:30:34 +01:00
2023-04-22 22:40:14 +01:00
2023-04-22 22:40:14 +01:00
2022-06-28 13:44:46 +01:00
2023-04-22 22:40:14 +01:00
2022-06-28 13:44:46 +01:00
2023-02-02 13:59:48 +00:00
2023-02-02 13:59:48 +00:00
2021-06-27 15:18:56 +02:00
2022-02-26 12:25:45 +00:00
2022-07-25 15:42:07 +01:00
2023-02-20 20:44:55 +00:00
2022-07-25 15:42:07 +01:00
2023-05-14 18:50:25 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-12-06 18:20:10 +00:00
2023-02-20 20:44:55 +00:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-10-16 13:11:12 +01:00
2023-02-20 20:44:55 +00:00
2023-09-09 11:31:38 +02:00
2023-09-11 20:23:11 +02:00
2020-05-26 21:20:45 +02:00
2023-06-10 21:40:39 +01:00
2022-06-28 13:44:46 +01:00
2023-06-10 21:40:39 +01:00
2022-09-18 13:04:22 +01:00
2022-06-28 13:44:46 +01:00
2023-02-20 20:44:55 +00:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-11-23 23:46:31 +00:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-12-06 18:20:10 +00:00
2023-02-20 20:44:55 +00:00
2022-09-18 13:04:22 +01:00
2023-02-20 20:44:55 +00:00
2023-02-20 20:44:55 +00:00
2022-06-28 13:44:46 +01:00
2020-01-14 19:29:13 +01:00
2023-05-14 18:50:25 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-11-09 21:21:04 +00:00
2022-06-28 13:44:46 +01:00
2023-04-22 22:40:14 +01:00
2023-02-20 20:44:55 +00:00
2022-10-03 18:04:35 +01:00
2023-02-20 20:44:55 +00:00
2022-06-28 13:44:46 +01:00
2023-04-22 22:40:14 +01:00
2023-02-20 20:44:55 +00:00
2023-06-10 21:40:39 +01:00
2022-10-16 13:11:12 +01:00
2022-06-28 13:44:46 +01:00
2023-02-27 15:49:53 +00:00
2023-06-10 21:40:39 +01:00
2023-04-22 22:40:14 +01:00
2023-06-10 21:40:39 +01:00
2023-09-11 20:23:11 +02:00
2023-02-20 20:44:55 +00:00
2023-02-02 13:59:48 +00:00
2023-06-10 21:40:39 +01:00
2023-09-11 20:23:11 +02:00
2023-08-10 06:19:18 +02:00
2023-06-10 21:40:39 +01:00
2023-05-14 18:50:25 +01:00
2023-02-20 20:44:55 +00:00
2023-04-22 22:40:14 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-11-23 23:46:31 +00:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2023-02-20 20:44:55 +00:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-10-16 13:11:12 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-06-28 13:44:46 +01:00
2022-11-09 21:21:04 +00:00
2022-06-28 13:44:46 +01:00
2023-02-20 20:44:55 +00:00
2022-06-28 13:44:46 +01:00
2020-07-26 17:00:44 +02:00
2020-07-26 17:00:44 +02:00
2020-07-26 17:00:44 +02:00
2020-07-26 17:00:44 +02:00
2022-02-20 19:48:20 +00:00
2020-07-26 17:00:44 +02:00
2020-07-26 17:00:44 +02:00
2020-07-26 17:00:44 +02:00
2020-07-26 17:00:44 +02:00
2022-01-23 12:07:04 +00:00
2022-01-23 12:07:04 +00:00
2022-01-16 14:46:06 +00:00
2021-06-13 19:02:49 +02:00
2021-06-13 19:02:49 +02:00
2023-04-22 22:40:14 +01:00
2023-04-22 22:40:14 +01:00
2023-09-09 11:31:38 +02:00
2022-06-28 13:44:46 +01:00
2021-12-05 21:54:04 +00:00
2021-12-05 21:54:04 +00:00
2022-01-16 14:46:06 +00:00
2022-07-01 18:45:04 +01:00