Yanıtlar:
time
Bunun yerine sadece deneyin timethis
.
Her ne kadar sık sık zamanın yerleşik bir versiyonunun ve farklı formatlarda sonuç verecek ikili bir versiyonun olduğunu unutmayın:
$ time wget -q -O /dev/null https://unix.stackexchange.com/
real 0m0.178s
user 0m0.003s
sys 0m0.005s
vs
$ \time wget -q -O /dev/null https://unix.stackexchange.com/
0.00user 0.00system 0:00.17elapsed 4%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+613minor)pagefaults 0swaps
"Timethis" programınızdan farklı olarak, üç değeri geri alırsınız. Bu , komut satırında "zaman" kullanılırken kısaca "sistem zamanı" dır , fakat kısaca: gerçek "duvar saati zamanı" anlamına gelir, kullanıcı ve sys normal saat ve sistem çağrıları arasında bölünmüş CPU saat zamanını gösterir.
time
Kabuk yerleşik yerine yürütülebilir dosyayı kullanarak çıktı biçimini ve değerlerini belirleyebilirsiniz. Örn. Gerçek geçen zamanı komut adı ve parametreleriyle birlikte alın
/usr/bin/time --format='%C took %e seconds' sleep 3
sleep 3 took 3.00 seconds
Eğer unutmayın gerekir yolunu belirtin time
, başka kabuk yerleşik kullanarak ayarlı olacaktır.
/usr/bin
nedir?
time
yardımcı programının kullanılmasıdır.
command time
veya kullanmak \time
için de kullanabilir .
@ galois: Çeşitli mermiler, yoldaki herhangi bir şeyden öncelikli olan bir avuç “yerleşik” komuta sahiptir. Normalde bu avantajlıdır; Yerleşikler daha hızlı çalışma eğilimindedir (çünkü harici bir dosya çağırmaz) ve genellikle istenen sonucu verir (yani, zaman komutunda normalde hangi sürümü kullandığınızı umursamıyorsanız, " - biçim "bayrağı".
Bu nedenle, PATH'nizin neye benzediğinden bağımsız olarak, herhangi bir özel karakter ("/" gibi) olmadan bir yol gibi görünmesi için "zaman", yerleşik olarak çalışacaktır.
Kabuğu harici zaman komutunu kullanmaya zorlamak için yolu sağlamalısınız