Als «time» getaggte Fragen

29
Windows 7 - Datum mit kleinen Symbolen anzeigen

Ich habe kürzlich ein Upgrade auf Windows 7 durchgeführt und benötige das angezeigte Datum mit der Uhrzeit. Dies funktioniert, aber nur, wenn ich große Symbole in den Taskleisteneinstellungen verwende, was ziemlich hässlich ist. Wie zeige ich Uhrzeit und Datum an, wenn ich nur kleine...

28
Die Windows 7-Zeit ändert sich ständig von selbst

Wie der Titel andeutet, ändert sich die Zeit in zufälligen Zeiten mit zufälligen Beträgen. Es passiert manchmal jede Minute, manchmal ist es stundenlang gut. Wenn ich auf Synchronisieren mit der Internetzeit gehe, wird die korrekte Uhrzeit aktualisiert. Dinge, die ich gelesen / überprüft...

23
Ermitteln Sie den Zeitunterschied zwischen zwei Linux-Servern

Ich behebe ein Latenz-Netzwerkproblem in einem Netzwerk. Wahrscheinlich handelt es sich um ein Problem mit dem NIC oder der Verkabelung, aber während ich es herausgefunden habe, habe ich mir die Zeiten eines Ping-Pakets angesehen, das eine Netzwerkkarte verlässt und auf einem anderen Server...

20
Wie kann ich dem Befehl time (ubuntu) Argumente geben?

Ich möchte ein bisschen mehr Informationen erhalten, als der Standard-Zeitbefehl angibt, also möchte ich das Verbose-Flag übergeben. info timeAls Beispiel time -v sleep 4gibt es jedoch, wenn ich das ausführe (sowohl in bash als auch in tcsh), was ich bekomme % time -v sleep 4 -v: Command not...

19
Ändern Sie das Ausgabeformat der zsh-Zeit

Ich bin gerade umgestiegen zsh. Mir gefällt jedoch nicht wirklich, wie der timeeingebaute Befehl auch den Befehl ausgibt, dass es Timing ist. Ich bevorzuge die bashStyle-Ausgabe. Weiß jemand, wie man es umschaltet? Zsh: [casqa1:~/temp]$ time grep foo /dev/null /usr/local/gnu/bin/grep --color -i foo...