Hi!
Auf einem Debian/woody-System habe ich eine Manpage (man 1 time) zu einem interessanten "time"-Programm mit vielen tollen Features, insbesondere zur Berechnung von allen möglichen anderen Systemressourcen. Man übergibt einen Format-String (time -f "%E real,%U user,%S sys" ls -Fs) und kann sich damit Dinge anzeigen lassen wie: D Average size of the process's unshared data area, in Kilobytes. K Average total (data+stack+text) memory use of the process, in Kilobytes. X Average amount of shared text in the pro cess, in Kilobytes. Z System's page size, in bytes. This is a per-system constant, but varies between sys tems. usw.
Aber das Kommando selbst gibt es nicht. "time" ist ein builtin der Shells, auch das time der tcsh, auf die verwiesen wird, kennt den Parameter -f nicht.
Auf meinen Debian/sarge-Systemen ist nichtmal mehr das manual da.
Weiß einer, wo ich ein solch tolles time-Kommando herbekomme, oder was es damit auf sich hat, warum's das nicht gibt / nie gab?
Ich hab' die merkwürdige Manpage mal angehangen.
GreetinX Steffen
On Tue, Jan 04, 2005 at 08:42:57AM +0100, Steffen Schwigon wrote:
Hi!
Hi Steffen,
Weiß einer, wo ich ein solch tolles time-Kommando herbekomme, oder was es damit auf sich hat, warum's das nicht gibt / nie gab?
Hmm, apt-get install time? Für unstable gibt es das Paket jedenfalls.
Ciao, Tobias
Tobias Koenig tokoe@kde.org writes:
On Tue, Jan 04, 2005 at 08:42:57AM +0100, Steffen Schwigon wrote:
Hi!
Hi Steffen,
Weiß einer, wo ich ein solch tolles time-Kommando herbekomme, oder was es damit auf sich hat, warum's das nicht gibt / nie gab?
Hmm, apt-get install time? Für unstable gibt es das Paket jedenfalls.
Ha, damn, too easy. :-)
Auf die Idee bin ich nicht gekommen, zu blöd; "time" sah so elementar aus (Wald-Bäume-Metapher). Und die Shell-Builtins überdecken /usr/bin/time, weswegen ich es mit Pfad starten muss.
Gelöst. Danke.
Wenn jetzt noch einer weiß, warum es nicht die versprochenen Werte liefert, bzw. warum fast alle Werte 0 sind, insbesondere alles was nach memory klingt. Ich hab's mit mozilla gestartet und hätte zumindest irgendwas != 0 erwartet.
GreetinX Steffen
Steffen Schwigon wrote:
Weiß einer, wo ich ein solch tolles time-Kommando herbekomme, oder was es damit auf sich hat, warum's das nicht gibt / nie gab?
Wenn Du die bash als shell nimmst, mit Pfad aufrufen: "/usr/bin/time", sonst wird das builtin genommen. Klappt natürlich nur wenn vorhanden.
MfG Sebastian -- gpg key id: 0x6F88D297
A: Because it messes up the order in which people normally read text. Q: Why is top-posting such a bad thing? A: Top-posting. Q: What is the most annoying thing on usenet and in e-mail?
lug-dd@mailman.schlittermann.de
-
Sebastian Hegler -
Steffen Schwigon -
Tobias Koenig