Как обновить меню KDE в Linux Mint без выхода из системы?

Вы должны отметить, что время определено POSIX, и AFAICT единственная опция, которую упоминает POSIX (-p), корректно поддерживается различными оболочками:

$ bash -c 'time -p echo'

real 0.00
user 0.00
sys 0.00
$ dash -c 'time -p echo'

real 0.01
user 0.00
sys 0.00
$ busybox sh -c 'time -p echo'

real 0.00
user 0.00
sys 0.00
$ ksh -c 'time -p echo'       

real 0.00
user 0.00
sys 0.00