Добавьте 5 минут к дате в bash

try

rm -f /applis/rgedff/pur/bin/lib/libtiny.old
mv /applis/rgedff/pur/bin/lib/libtiny.a  applis/rgedff/pur/bin/lib/libtiny.old

перед копированием учтите, что вы можете нарушить работу любой программы, использующей /applis/rgedff/pur/bin/lib/libtiny. a

libtiny.a является общей библиотекой, активно работающая программа использует ее, и вы не можете удалить используемый файл в Linux.

Точнее, удаление такого файла приведет к удалению имени файла из каталога, в то время как данные файла будут храниться в файловой системе до тех пор, пока запущенный процесс использует их.