On 10/15/12 1:32 PM, Aharon Robbins wrote: > Is there something that can be done for 4.2.24 (/bin/bash on Ubuntu 12.04)?
Regrettably, nothing other than upgrading to at least bash-4.2 patch 29, or requesting that Ubuntu (really Debian) do so. Chet -- ``The lyf so short, the craft so long to lerne.'' - Chaucer ``Ars longa, vita brevis'' - Hippocrates Chet Ramey, ITS, CWRU c...@case.edu http://cnswww.cns.cwru.edu/~chet/