piccola curiosita` sull'uso di extglob in script

[Ennio-Sr <nasr.laili@tin.it>]

Dopo aver letto, pochi giorni fa, alcuni post sull'argomento, ho voluto
provare l'opzione *extglob* di bash:
---------------
#!/bin/sh

shopt  -s extglob    # abilita *|?|+|@|!(0-9) (cfr. man bash) 
num="a est numero"
err="errore input"

echo input a ; read 

case  "$a" in 
# ?(0-9) )  # questa funziona! (rileva zero occurrence?)
*(0-9) )   # questa funziona! (idem c.s.)
# +(0-9) )  # questa non va!!! ->  errore
# @(0-9) )  # questa non va!!! ->  errore
echo  "$num" 
;; 

* )
echo $err
;; 
esac
---------------
Come sopra indicato, funzionano solo le prime due (rileva la non
occorrenza della cifra inserita?). Ho anche provato con le [] -> ([0-9]) 
ma non cambia nulla.

Suggerimenti?

-- 
[Perche' usare Win$ozz (dico io) se ..."anche uno sciocco sa farlo.   \\?//
 Fa' qualche cosa di cui non sei capace!"  (diceva Henry Miller) ]    (°|°)
[Why use Win$ozz (I say) if ... "even a fool can do that.              )=(
 Do something you aren't good at!" (as Henry Miller used to say) ]