Upgrade gnome shell extensions (fix #755) (#768)

2021-10-25 21:31:13 +03:00
parent fab8f1a9f1
commit b6c468c6fb
3 changed files with 24 additions and 0 deletions
--- a/src/config.rs
+++ b/src/config.rs
@@ -84,6 +84,7 @@ pub enum Step {
    Gcloud,
    Gem,
    GitRepos,
+    GnomeShellExtensions,
    HomeManager,
    Jetpack,
    Krew,