tree 35e477097988611d339b9881b8899b4b4d2c8c52
parent aad8dbea8729eeecbbf72420b777a7d5d2c4d67d
author Varun Patil <varunpatil@ucla.edu> 1665774171 -0700
committer Varun Patil <varunpatil@ucla.edu> 1667233291 -0700

docker: use source install and prune image

Using source over PPA seems appropriate since MiniNDN is
used primarily for experimentation.

Other fixes:
* Let MiniNDN install mininet.
* Switch to Ubuntu 22.04
* Fix incorrect pruning of layers

Change-Id: Id5e52756929fbe3a40597c738ca81989ffb2c075
Signed-off-by: Varun Patil <varunpatil@ucla.edu>