On 7/12/18 7:38 PM, jeremy.richa...@ngc.com wrote: > Bash Version: 4.2 > Patch Level: 46 > Release Status: release > > Description: > I noticed some strange behavior in the DIRSTACK variable (used in > pushd/popd). > `declare -p DIRSTACK` > shows the list of current directories on the stack, as expected. > ${DIRSTACK[@]:1} show correctly expanded paths, i.e., “pushd ~/Jenkins†> will correctly store "/home/jeremy/jenkins" > However, ${DIRSTACK[0]} does NOT have this behavior, and will encode a > literal tilde, e.g., "~/jenkins"
Thanks for the report. This was fixed last October as the result of http://lists.gnu.org/archive/html/bug-bash/2017-10/msg00110.html and the fix is in bash-5.0-alpha. -- ``The lyf so short, the craft so long to lerne.'' - Chaucer ``Ars longa, vita brevis'' - Hippocrates Chet Ramey, UTech, CWRU c...@case.edu http://tiswww.cwru.edu/~chet/