diff --git a/independent-projects/tools/devtools-common/src/main/java/io/quarkus/cli/plugin/PluginManager.java b/independent-projects/tools/devtools-common/src/main/java/io/quarkus/cli/plugin/PluginManager.java
index 87e150fc45837..2793a3f570ed8 100644
--- a/independent-projects/tools/devtools-common/src/main/java/io/quarkus/cli/plugin/PluginManager.java
+++ b/independent-projects/tools/devtools-common/src/main/java/io/quarkus/cli/plugin/PluginManager.java
@@ -194,6 +194,11 @@ public boolean sync() {
             addPlugin(plugin);
         });
         state.invalidate();
+        if (!catalogModified) {
+            PluginCatalogService pluginCatalogService = state.getPluginCatalogService();
+            PluginCatalog catalog = state.getPluginCatalog();
+            pluginCatalogService.writeCatalog(catalog);
+        }
         return catalogModified;
     }