difference in how ~ and HOME are treated when trying to remove a matching prefix.

[Cristian Zoicas]

Hello all

There is a difference in how ~ and HOME are treated when trying to
remove a matching prefix. Here is an example:


# ~ and $HOME are the same:
#
wj@rogers:~$ echo ~
/home/wj
wj@rogers:~$ echo $HOME
/home/wj


# Nothing is removed (although the entire contents should be removed).
#
wj@rogers:~$ (A="/home/wj////"; echo "A (with prefix)   : ${A}"; echo "A (without 
prefix): ${A##~*}")
A (with prefix)   : /home/wj////
A (without prefix): /home/wj////


# The prefix is removed with all following characters (due to *)
#
wj@rogers:~$ (A="/home/wj////"; echo "A (with prefix)   : ${A}"; echo "A (without 
prefix): ${A##${HOME}*}")
A (with prefix)   : /home/wj////
A (without prefix):


Is this a bug or am I missing something?


Thank you
Cristian