gnome-shell-extension-animation-tweaks-git.install


1
2
3
4
5
6
7
8
9
10
11
12
13

post_install() {
  echo ""
  echo "==> ATTENTION: If problems occur after the update, please reset the settings!"
  echo "==> Reset button is present in About tab in extension preferences."
  echo ""
}

post_upgrade() {
  echo ""
  echo "==> ATTENTION: If problems occur after the update, please reset the settings!"
  echo "==> Reset button is present in About tab in extension preferences."
  echo ""
}