Hoşuna gitmese bile, seni daha fazla dikkatle okumanı rica edeceğim man time
. Bölümün sonunda EXAMPLES
bulacaksınız:
Users of the bash shell need to use an explicit path in order to run
the external time command and not the shell builtin variant. On system
where time is installed in /usr/bin, the first example would become
/usr/bin/time wc /etc/hosts
Bu yüzden, time
shell anahtar kelimesi olarak verilen dahili bir sürümünü kullanan bash kabuğunu kullandığınızı farz ediyorum . Bunu aşağıdaki komutu kullanarak kontrol edebilirsiniz:
type time
ve çıktı muhtemelen olacak:
time is a shell keyword
Bu durumda, daha sonra kullanmak için, açıktır gerçek time
onun açık yolunu kullanmak şunları yapmalısınız komutu: /usr/bin/time
.
Artık kabuk anahtar kelimesini kullanmayı istemiyorsanız Ayrıca, time
şunları yapabilirsiniz kalıcı takma adı oluşturun aşağıdaki gibi:
alias time='/usr/bin/time'
Bu time
komut, çünkü kabuk anahtar kelimenin üzerine yazacaktır :
type time
şimdi aşağıdaki çıktıyı verecek:
time is aliased to `/usr/bin/time'
sudo apt-get install --reinstall time
olur mu?