Hi, thank you for the script. It’s exactly what I was looking for. However in my distros (arch and debian) gpsctl has completely different options. The ones needed are not available for me.
Please see here for a man page to what I have. Is there another command I need?