Dies ist ein Kommentar/Bearbeitung zu Lukas Sampsons schönem timecmd.bat
und eine Antwort auf
Aus irgendeinem Grund gibt mir das nur Ausgabe in ganzen Sekunden... was für mich nutzlos ist. Ich meine, ich führe timecmd pause aus, und es ergibt immer 1,00 Sekunde, 2,00 Sekunden, 4,00 Sekunden... sogar 0,00 Sekunden! Windows 7. – Camilo Martin 25. Sep '13 um 16:00 "
Bei einigen Konfigurationen können sich die Trennzeichen unterscheiden. Die folgende Änderung sollte zumindest die meisten westlichen Länder abdecken.
set options="tokens=1-4 delims=:," (Komma hinzugefügt)
Die Millisekunden von %time%
funktionieren auf meinem System, nachdem das ',' hinzugefügt wurde
(*weil die Seite anonyme Kommentare nicht erlaubt und keine gute Erfassung der Identität durchführt, obwohl ich immer dieselbe Gäste-E-Mail-Adresse verwende, die in Kombination mit der IPv6-IP und dem Browserfingerabdruck ausreichen sollte, um ohne Passwort eindeutig identifiziert zu werden)