Index of /
Instructions for Ubuntu
=======================
1. Import the Emulab signing pubkey:
$ wget -O - http://repos.emulab.net/emulab.key | sudo apt-key add -
2. As root, add a sources file for the repository you're interested in; e.g.,
$ echo "deb http://repos.emulab.net/emulab-xen/ubuntu $(. /etc/os-release ; echo $UBUNTU_CODENAME) main" > /etc/apt/sources.list.d/emulab-xen.list
3. Install packages you need:
sudo apt-get --no-install-recommends install python3-uhd uhd-host libuhd-dev libuhd4.0.0
sudo apt-get install gnuradio
Prioritizing this Repository
----------------------------
Some packages are nontrivial to meaningfully rename, like modern kernels. So you might need a preferences file:
cat <<EOF >/etc/apt/preferences.d/emulab
Package: *
Pin: origin repos.emulab.net
Pin-Priority: 900
EOF