Finding a BASH alternative to the timeout utility on June 26, 2022 BASH batch echo Linux printf read shell timeout UNIX user Windows +