gnome-shell-extension-applications-overview-tooltip.install


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

# Colored makepkg-like functions
all_off="$(tput -T xterm sgr0)"
bold="${all_off}$(tput -T xterm bold)"
blue="${bold}$(tput -T xterm setaf 4)"
yellow="${bold}$(tput -T xterm setaf 3)"

note() {
  printf "${blue}==>${yellow} NOTE:${bold} $1${all_off}\n"
}

post_install() {
  note "Restart GNOME Shell ([Alt]+[F2], r)."
  note "Activate the extension with gnome-tweak-tool."
}

post_upgrade() {
  note "Restart GNOME Shell ([Alt]+[F2], r) to load the upgraded extension."
}