After reinstalling Ubuntu, my installed GNOME shell extensions are gone and I need to manually go to https://extensions.gnome.org/ to reinstall each one. Can this process be automated? For example, if I provide a file with the names of the extensions I want to install. Could I just run some command to reinstall them?
(Another idea: it would be even simpler if the extensions could be saved automatically at a GNOME account, similarly to the way extensions in Google Chrome are saved in my google account.)