Bei der Arbeit mit dem timeBefehl stieß ich auf eine Situation, in der ich den eingebauten timeBefehl anstelle des externen GNU-Zeitbefehls verwenden sollte /usr/bin/time. Also, wie kann ich das machen? Ich habe irgendwo gesehen, dass die Verwendung enableund / oder commandwürde helfen, aber sie...