thom's workaround works for me, but remember to close _all_ active terminal windows to get the change in effect.
thom's workaround works for me, but remember to close _all_ active terminal windows to get the change in effect.