blob: b3d9d7e650fa9b4e7564ed3e0e3bf0c97e898018 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
post_install() {
instructions_install
}
post_upgrade() {
instructions_upgrade
}
post_remove() {
instructions_remove
}
instructions_install() {
cat <<-EOT
Restart GNOME Shell ([Alt]+[F2], r).
Activate the extension with gnome-tweak-tool.
EOT
}
instructions_upgrade() {
cat <<-EOT
Restart GNOME Shell ([Alt]+[F2], r) to load the upgraded extension.
EOT
}
instructions_remove() {
cat <<-EOT
Restart GNOME Shell ([Alt]+[F2], r) to unload the removed extension.
EOT
}
|