From f4bd9d604e2f7e93556dcf83a6dc6e5b2d287eda Mon Sep 17 00:00:00 2001
From: JohnnyRevay <65253638+jan-revay@users.noreply.github.com>
Date: Sun, 5 Jan 2025 21:27:19 +0100
Subject: [PATCH] UbuntuGH.yml: Try adding sudo to cp /mnt/old_home

---
 .github/workflows/UbuntuGH.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/UbuntuGH.yml b/.github/workflows/UbuntuGH.yml
index fdf6e4a3..a1ab62af 100644
--- a/.github/workflows/UbuntuGH.yml
+++ b/.github/workflows/UbuntuGH.yml
@@ -88,8 +88,10 @@ jobs:
     # https://learn.microsoft.com/en-us/azure/virtual-machines/managed-disks-overview#disk-roles
     # https://github.com/marketplace/actions/maximize-build-disk-space
     # but it is not documented wel... so I hope this is not error prone...
+    # EXPERIMENT RESULT: I get `cp: cannot create directory '/mnt/old_home/': Permission denied`
+    # when I try to use /mnt instead of /tmp
     - name: save ~/ for idempotency test
-      run: cp -r ~/ /mnt/old_home/
+      run: sudo cp -r ~/ /mnt/old_home/
 
     - name: Running iniPC script for the 2nd time should not fail.
       run: ./run_init.sh --noninteractive