Это старая версия документа!

sudo bash -c 'echo «deb https://labs.picotech.com/debian/ picoscope main» >/etc/apt/sources.list.d/picoscope.list'