<div style="font-family: 'Times New Roman';"><div style="font-size: 16px;">Hi, </div><div style="font-size: 16px;">Is there any method for saving the output of <span style="font-size: medium;">get_mboard_sensor("gps_locked") into a txt file (by using python)?</span></div><div style="font-size: 16px;"><span style="font-size: medium;">Thank you in advance.</span></div><div><font size="3">Giovanni Marino</font></div></div>