Debian PPA
Releases of OBC and software for bare-metal programming of the BBC micro:bit are hosted in a Debian PPA (Private Package Archive). To add the PPA to your system:
- Put the following in the file
/etc/apt/sources.d/spivey.list
:
deb https://spivey.oriel.ox.ac.uk/repos/apt/debian buster main
- Run the folowing commands to install the GPG signing key for the repository:
$ wget https://spivey.oriel.ox.ac.uk/repos/apt/debian/conf/spivey-ppa.gpg.key $ sudo apt-key add spivey-ppa.gpg.key
- Run
sudo apt-get update
to fetch the indexes. - Then
sudo apt-get install obc
(or whatever) to install packages.