fix: always save catalog after syncing

michalvavrik · Mar 29, 2023 · 2af0da6 · 2af0da6
1 parent 573f600
commit 2af0da6
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/...ent-projects/tools/devtools-common/src/main/java/io/quarkus/cli/plugin/PluginManager.java b/...ent-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;
     }