From 8c68254c5d9be5fbdef6b19453b1ca455f3ed067 Mon Sep 17 00:00:00 2001 From: David Heinemeier Hansson Date: Tue, 4 Jun 2024 15:05:22 -0700 Subject: [PATCH] Better grouping --- install/{gum.sh => app-gum.sh} | 0 install/{emojis.sh => set-emojis.sh} | 0 install/{gnome-extensions.sh => set-gnome-extensions.sh} | 0 install/{gnome-hotkeys.sh => set-gnome-hotkeys.sh} | 0 install/{theme.sh => set-theme.sh} | 0 5 files changed, 0 insertions(+), 0 deletions(-) rename install/{gum.sh => app-gum.sh} (100%) rename install/{emojis.sh => set-emojis.sh} (100%) rename install/{gnome-extensions.sh => set-gnome-extensions.sh} (100%) rename install/{gnome-hotkeys.sh => set-gnome-hotkeys.sh} (100%) rename install/{theme.sh => set-theme.sh} (100%) diff --git a/install/gum.sh b/install/app-gum.sh similarity index 100% rename from install/gum.sh rename to install/app-gum.sh diff --git a/install/emojis.sh b/install/set-emojis.sh similarity index 100% rename from install/emojis.sh rename to install/set-emojis.sh diff --git a/install/gnome-extensions.sh b/install/set-gnome-extensions.sh similarity index 100% rename from install/gnome-extensions.sh rename to install/set-gnome-extensions.sh diff --git a/install/gnome-hotkeys.sh b/install/set-gnome-hotkeys.sh similarity index 100% rename from install/gnome-hotkeys.sh rename to install/set-gnome-hotkeys.sh diff --git a/install/theme.sh b/install/set-theme.sh similarity index 100% rename from install/theme.sh rename to install/set-theme.sh