2020-10-06 16:53:56 +00:00
|
|
|
post_install() {
|
2020-10-21 16:27:22 +00:00
|
|
|
|
2020-10-06 16:53:56 +00:00
|
|
|
echo "POP-shell configuration"
|
2020-10-21 16:27:22 +00: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 16:53:56 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
post_upgrade() {
|
|
|
|
|
post_install
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
post_remove() {
|
2020-10-14 16:47:52 +00:00
|
|
|
|
2020-10-21 16:27:22 +00:00
|
|
|
echo "to complete uninstalation reset keybinding in parameter pannel"
|
2020-10-14 16:47:52 +00:00
|
|
|
|
2020-10-06 17:19:31 +00:00
|
|
|
}
|
