From d9d209f34d07746a7e77eab0248b72ce95518273 Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Mon, 10 Nov 2014 23:00:56 -0800
Subject: [PATCH] Update from official archive since mirror seems to be failing
---
util/vm/install-mininet-vm.sh | 11 ++++++-----
1 file changed, 6 insertions(+), 5 deletions(-)
diff --git a/util/vm/install-mininet-vm.sh b/util/vm/install-mininet-vm.sh
index 3c82e75d..b8bdb5fe 100755
--- a/util/vm/install-mininet-vm.sh
+++ b/util/vm/install-mininet-vm.sh
@@ -13,13 +13,14 @@ sudo sed -i -e 's/ubuntu/mininet-vm/g' /etc/hosts
sudo hostname `cat /etc/hostname`
sudo sed -i -e 's/quiet splash/text/' /etc/default/grub
sudo update-grub
+# Update from official archive
+sudo apt-get update
# 12.10 and earlier
-sudo sed -i -e 's/us.archive.ubuntu.com/mirrors.kernel.org/' \
- /etc/apt/sources.list
+#sudo sed -i -e 's/us.archive.ubuntu.com/mirrors.kernel.org/' \
+# /etc/apt/sources.list
# 13.04 and later
-sudo sed -i -e 's/\/archive.ubuntu.com/\/mirrors.kernel.org/' \
- /etc/apt/sources.list
-sudo apt-get update
+#sudo sed -i -e 's/\/archive.ubuntu.com/\/mirrors.kernel.org/' \
+# /etc/apt/sources.list
# Clean up vmware easy install junk if present
if [ -e /etc/issue.backup ]; then
sudo mv /etc/issue.backup /etc/issue
--
GitLab