From 543cf7de09c5e15068eb7245609feb1586804c2c Mon Sep 17 00:00:00 2001
From: Simon Schneegans <code@simonschneegans.de>
Date: Fri, 10 Feb 2023 06:02:23 +0100
Subject: [PATCH] :wrench: Only try to migrate profiles once

---
 extension.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/extension.js b/extension.js
index 1137148..4c300db 100644
--- a/extension.js
+++ b/extension.js
@@ -88,7 +88,9 @@ class Extension {
     const lastVersion = this._settings.get_int('last-extension-version');
     if (lastVersion < Me.metadata.version) {
       if (lastVersion <= 26) {
-        migrate.fromVersion26().then(() => {
+        // If the profile migration fails for some reason, the callback will create a
+        // default profile instead.
+        migrate.fromVersion26().finally(() => {
           this._loadProfiles();
           this._settings.set_int('last-extension-version', Me.metadata.version);
         });