Hallo,
weiß jemand von Euch, wie man am besten ein Set von installierten Gnome-Extensions auf einem anderen Rechner installiert (also zuerst Liste der Extensions exportieren und dann woanders diese installieren) und auch die Konfiguration exportiert/importiert bzw kopiert?