2023年3月24日(金) 9:25 Paul Eggert <egg...@cs.ucla.edu>: > Without this patch, Bash can hand out user-visible timestamps > that are out of order, because on GNU/Linux the 'time' > function uses a different clock than file timestamps > and the 'gettimeofday' function. See > <https://sourceware.org/bugzilla/show_bug.cgi?id=30200>.
FYI, there was a discussion in 2020-04. It was originally reported by Felix Hauri. https://lists.gnu.org/archive/html/bug-bash/2020-04/msg00072.html By the way, you should prepare patches based on the devel branch of Bash.
