4 Jan
2005
4 Jan
'05
9:11 a.m.
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?