Recently I've started to see the following message every time I invoke ptxdist:

/usr/local/lib/ptxdist-2014.10.0/bin/ptxdist: line 2151: unset: `BASH_FUNC_set_shell_label()': not a valid identifier

The ptxdist code here has:

unset $(/usr/bin/env | \

sed -n -e "s/^$[^=[:space:]]\+$=.*$/\1/p" | \

egrep -v "^(PTXDIST_PTXRC|PTX_AUTOBUILD_DESTDIR|CCACHE_.*|PWD|HOME|USER|PATH|TERM|COLUMNS|LINES|DISPLAY|TMPDIR|http_proxy|https_proxy|ftp_proxy|no_proxy${whitelist})$" )

I'm not sure why I'm getting this message, but speculatively it seems to have started appearing after I updated Ubuntu-14.04 with bash shellshock patches... ?

Anyone else see this type of message?

Jon