[Help-bash] Does bash support ENHANCED FEATURES in re_format(7)?

[Peng Yu]

Hi,

re_format(7) says (under ENHANCED FEATURES)
117            \d  Matches a digit character.  This is equivalent to
`[[:digit:]]'.


The following code shows that '\d' does not work. Does bash support
these ENHANCED FEATURES in re_format(7)?

~/linux/test/bash/man/pattern/[[:digit:]]$ ./main.sh
x=123
echo "${x//[[:digit:]]}"

echo "${x//\d}"
123

~/linux/test/bash/man/pattern/[[:digit:]]$ cat main.sh
#!/usr/bin/env bash

set -v
x=123
echo "${x//[[:digit:]]}"
echo "${x//\d}"

-- 
Regards,
Peng