pika-gnome-layouts/usr/lib/pika/gnome-layouts/reload.sh

9 lines
194 B
Bash
Raw Normal View History

2022-09-24 13:02:50 +02:00
#! /bin/bash
if [[ "$RELOG_NEEDED" == 1 ]]; then
if zenity --question --text="New extensions have been installed!, reload required!"
then
gnome-session-quit --force --no-prompt
fi
fi