from machine import I2C,Pin 
import utime
import ds3231_port
i2c=I2C(0,scl=Pin(9),sda=Pin(8))
rtc=ds3231_port.DS3231(i2c)
while True:
    (year,month,day,hour,minute,second,weekday,_)=rtc.get_time()
    currenttime="{:02d}/{:02d}/{:04d} {:02d}:{:02d}:{:02d}".format(day,month,year,hour,minute,second)
    print("current time:",currenttime)
    utime.sleep(1)