Debian PPA

From Spivey's Corner
Jump to: navigation, search

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.