It should be added.

Ahmed Yasin KUL
2022-02-15 22:04:38 +03:00
parent 40f5ce0eee
commit 0ce7b481b9

1
SC2023.md Normal file

@@ -0,0 +1 @@
The shell may override 'time' as seen in man time(1). Use 'command time ..' for that one.