2020-10-06 18:53:56 +02:00
|
|
|
post_install() {
|
2020-10-21 18:27:22 +02:00
|
|
|
|
2020-10-06 18:53:56 +02:00
|
|
|
echo "POP-shell configuration"
|
2020-10-21 18:27:22 +02:00
|
|
|
echo "to configure POP-shell keybinding on user session"
|
|
|
|
|
echo "launch Script: /usr/share/gnome-shell/extensions/pop-shell@system76.com/scripts/configure.sh"
|
|
|
|
|
|
2020-10-06 18:53:56 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
post_upgrade() {
|
|
|
|
|
post_install
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
post_remove() {
|
2020-10-14 18:47:52 +02:00
|
|
|
|
2020-10-21 18:27:22 +02:00
|
|
|
echo "to complete uninstalation reset keybinding in parameter pannel"
|
2020-10-14 18:47:52 +02:00
|
|
|
|
2020-10-06 19:19:31 +02:00
|
|
|
}
|
