gtime

Dieser Befehl ist ein Alias von time.

• Zeige die Dokumentation für den originalen Befehl an:

tldr time