Es gibt mehrere Möglichkeiten, dies zu tun:
Verwenden Sie die Verkettung von Zeichenfolgen: print(time.hour .. ":" .. time.min .. ":" .. time.sec)
Verwenden Sie die Formatierung: print(("%02d:%02d:%02d"):format(time.hour, time.min, time.sec))
Verwenden Sie die Tabellenverkettung: print(table.concat({time.hour, time.min, time.sec}, ":"))
Wenn Sie wirklich Ihre Zeichenfolge formatieren müssen, wäre meine Präferenz für # 2. Für time = {hour = 1, min = 20, sec = 5}
wird Folgendes gedruckt:
Zum einfachen Ausdrucken der Uhrzeit - extrahieren Sie die gewünschte Zeit (die Uhrzeit) aus der vollständigen Datumsstempelfolge:
%Vor%Das funktioniert auf meinem PC;). Möglicherweise gibt es eine andere Datumsstempelzeichenfolge in Ihrem Betriebssystem.
G