Używam programu/usr/bin/time do mierzenia czasu dla polecenia. z parametrem --format i mogę sformatować dane wyjściowe. np./usr/bin/time - dane wyjściowe upłynęły w milisekundach
/usr/bin/time -f "%e" ls
Czy istnieje sposób na uzyskanie większej dokładności upływających sekund? lub po prostu wyświetlać milisekundy, a nie sekundy?
W instrukcji/usr/bin/time mówi się tylko o sekundach, ale może jest jakiś sposób i ktoś może mi pomóc ... dzięki!
EDIT: Wiem o komendzie bash "time", która używa formatu zmiennej środowiskowej "TIMEFORMAT". przepraszam, ale nie chcę zmienić tego env-var ... wydaje mi się to ryzykowne, rozwiązanie powinno być czymś, co wcale nie zmienia działającego systemu :)
Strona podręcznika nic o tym nie mówi. Zakładam więc, że nie jest to możliwe przy użyciu * niezmienionej * wersji czasu. Powinna istnieć możliwość stworzenia łaty dla formatu wyjściowego, ale nie wiem, czy możliwe jest uzyskanie większej dokładności. – hek2mgl
Po prostu wskazuję przyszłym czytelnikom, że zmienna 'TIMEFORMAT' jest używana tylko do sterowania wyjściami wbudowanej komendy' time'. Nie ma ryzyka związanego z jego zmianą. –