From c21053debb723803acd8c6820bbdfd397c126db3 Mon Sep 17 00:00:00 2001 From: Luca Pattocchio Date: Thu, 22 Aug 2024 15:02:12 +0200 Subject: [PATCH] Fix missing `TopHat` libraries add logout option to pick changes --- migrations/1723756122.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/migrations/1723756122.sh b/migrations/1723756122.sh index 44eeeec..73c1800 100644 --- a/migrations/1723756122.sh +++ b/migrations/1723756122.sh @@ -3,6 +3,9 @@ if [ -n "$(gnome-extensions list | grep Vitals@CoreCoding.com)" ]; then gnome-extensions uninstall Vitals@CoreCoding.com fi +# Install Tophat libraries +sudo apt install -y gir1.2-gtop-2.0 gir1.2-clutter-1.0 + # Install TopHat gext install tophat@fflewddur.github.io @@ -23,3 +26,6 @@ THEME=$(gum choose "${THEME_NAMES[@]}" "Default" --header "Choose your theme" -- if [ -n "$THEME" ] && [ "$THEME" != "default" ]; then source $OMAKUB_PATH/themes/$THEME/tophat.sh fi + +# Logout +gum confirm "Ready to logout for all settings to take effect?" && gnome-session-quit --logout --no-prompt