So, even though this is NOT an Ubuntu forum, and I shouldn't be posting such silly questions here (I know that now, thanks everyone), I'll post my solution that ended up working for me, in case anyone in the future sees this.
1) Install pigpio from github, as mentioned in https://abyz.me.uk/rpi/pigpio/download.html
(there is no way to do this with apt or pip)
2) create (as sudo) /lib/systemd/system/pigpiod.service, and add the following:
Code: Select all
Description=Daemon required to control GPIO pins via pigpio
ExecStop=/bin/systemctl kill -s SIGKILL pigpiod
restart, and check status of the service with sudo systemctl status pigpiod