Raspbian官方介绍换源方法

It is slightly more complex for the PC version, as the previous release was based around Debian Jessie. You will need to edit the files /etc/apt/sources.list and /etc/apt/sources.list.d/raspi.list, using sudo to do so. In both files, change every occurrence of the word “jessie” to “stretch”. When that’s done, do the following:

sudo apt-get update

sudo dpkg –force-depends -r libwebkitgtk-3.0-common

sudo apt-get -f install

sudo apt-get dist-upgrade

sudo apt-get install python3-thonny

sudo apt-get install sonic-pi=2.10.0~repack-rpt1+2

sudo apt-get install piserver

sudo apt-get install usbbootgui

---