Wie kann ich dafür sorgen, dass Bash Time Binary (/ usr / bin / time) anstelle des Shell-Schlüsselworts verwendet? which timereturns /usr/bin/time type timereturns time is a shell keyword Running timeführt offensichtlich das Shell-Schlüsselwort aus: $ time real 0m0.000s user 0m0.000s sys 0m0.000s $...