diff --git a/src/main b/src/main index 78f682a..c7499a7 100755 --- a/src/main +++ b/src/main @@ -290,7 +290,7 @@ if [[ $NEED_GNOME_SHELL_RESTART == true ]]; then #INTERESTING: nested wayland!!! #dbus-run-session -- gnome-shell --nested --wayland - + trap - ERR zenity --question --title "Rechargement de la session demandée" --width 600 --text "Des extensions GNOME ont été rajoutées à votre session.\n Voulez-vous rechargez votre session pour voir les changements ?" --timeout 10 case $? in 0)