The Rudefox Repo

I maintain a repository of packaged builds of my Rudefox projects at


To install the Rudefox Debian Repository

Step 1: Update Local Database

Update the local database with the command:

sudo apt-get update

Step 2: Download Dependencies

You’ll need to run these commands to allow your operating system to access the Rudefox repositories over HTTPS.

In the terminal window, type:

sudo apt-get install apt-transport-https ca-certificates software-properties-common

To clarify, here’s a brief description of each package you're installing:

apt-transport-https: Allows the package manager to transfer files and data over https

ca-certificates: Allows the system (and web browser) to check security certificates

software-properties-common: Adds scripts for managing software

Step 3: Add Rudefox’s GPG Key

The GPG key is a security feature.

To ensure that the software you’re installing is authentic, enter:

wget -qO - | sudo apt-key add

Step 4: Install the Rudefox Repository

To install the Rudefox repository, enter the command:

sudo add-apt-repository "deb [arch=all] focal main"

At the moment, the Rudefox Debian repo only supports Focal.

Step 5: Update Repositories

Update the repositories you just added:

sudo apt-get update

Step 6: Install Rudefox Packages

Install Rudefox project Debian packages.

For example, to install the latest version of TORch:

sudo apt-get install torch-agent