Index of /

[ICO]NameLast modifiedSizeDescription

[   ]emulab.key2022-12-29 23:59 3.8K 
[   ]emulab-public.key2022-12-29 23:59 3.8K 
[   ]emulab-legacy.key2019-09-23 12:42 2.4K 
[DIR]silk/2020-06-11 14:42 -  
[DIR]powder/2019-09-23 12:02 -  
[DIR]powder-testing/2020-02-28 17:24 -  
[DIR]powder-legacy/2019-09-23 12:02 -  
[DIR]powder-endpoints/2019-09-23 12:02 -  
[DIR]grub-backports/2023-04-19 19:29 -  
[DIR]frr/2019-10-31 11:34 -  
[DIR]ettus/2021-09-15 09:19 -  
[DIR]emulab/2022-09-26 14:46 -  
[DIR]emulab-xen/2019-09-23 12:21 -  
[DIR]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