|
From: | Clark WANG |
Subject: | Should ~$user be tilde expanded? |
Date: | Thu, 25 Oct 2012 22:07:10 +0800 |
See following example: $ cat foo.sh u=root echo ~$u $ bash foo.sh # bash 4.2.37 ~root $ ksh foo.sh # ksh 93u+ 2012-08-01 /root $ Anyone can explain/confirm what should be the correct behavior? -Clark
[Prev in Thread] | Current Thread | [Next in Thread] |