From 7c2c2cba81419b7f3491582d2baacbdc3ad80385 Mon Sep 17 00:00:00 2001 From: gusthoff Date: Fri, 27 Dec 2024 14:41:45 +0100 Subject: [PATCH] Vagrant VM: use old-releases repo for Ubuntu installation Replace archive.ubuntu.com and security.ubuntu.com by old-releases.ubuntu.com for Ubuntu 23.10 installation. --- Vagrantfile | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/Vagrantfile b/Vagrantfile index 6e405e1fe..1ed478958 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -1,6 +1,10 @@ $frontend = <<-SHELL #!/bin/bash -eux + # TEMPORARY: Path old Ubuntu release + sed -i -e 's#archive.ubuntu.com#old-releases.ubuntu.com#' /etc/apt/sources.list + sed -i -e 's#security.ubuntu.com#old-releases.ubuntu.com#' /etc/apt/sources.list + # Enable the NodeSource repository curl -sL https://deb.nodesource.com/setup_20.x | bash - @@ -87,6 +91,10 @@ SHELL $epub = <<-SHELL #!/bin/bash -eux + # TEMPORARY: Path old Ubuntu release + sed -i -e 's#archive.ubuntu.com#old-releases.ubuntu.com#' /etc/apt/sources.list + sed -i -e 's#security.ubuntu.com#old-releases.ubuntu.com#' /etc/apt/sources.list + # Enable the NodeSource repository curl -sL https://deb.nodesource.com/setup_20.x | bash -