Index of /

Name	Last modified	Size

emulab.key	2022-12-29 23:59	3.8K
emulab-public.key	2022-12-29 23:59	3.8K
emulab-legacy.key	2019-09-23 12:42	2.4K
silk/	2020-06-11 14:42	-
powder/	2019-09-23 12:02	-
powder-testing/	2020-02-28 17:24	-
powder-legacy/	2019-09-23 12:02	-
powder-endpoints/	2019-09-23 12:02	-
grub-backports/	2023-04-19 19:29	-
frr/	2019-10-31 11:34	-
ettus/	2021-09-15 09:19	-
emulab/	2022-09-26 14:46	-
emulab-xen/	2019-09-23 12:21	-
emulab-testing/	2023-01-02 16:54	-

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