From 907c6215e766e3b208c0098c47a0ffc5a8d0006a Mon Sep 17 00:00:00 2001
From: Michael Wieland <git@selfcoders.com>
Date: Tue, 25 Oct 2022 16:35:20 +0200
Subject: [PATCH] Make sure add-apt-repository is executed before managing file
 resource for it

---
 manifests/ppa.pp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/manifests/ppa.pp b/manifests/ppa.pp
index b68ac66..b2f6c70 100644
--- a/manifests/ppa.pp
+++ b/manifests/ppa.pp
@@ -114,7 +114,9 @@ define apt::ppa (
       }
     }
 
-    file { "${apt::sources_list_d}/${sources_list_d_filename}": }
+    file { "${apt::sources_list_d}/${sources_list_d_filename}":
+      require => Exec["add-apt-repository-${name}"],
+    }
   }
   else {
     tidy { "remove-apt-repository-script-${name}":
-- 
2.32.3