diff options
author | Christian Schendel | 2020-12-15 22:23:00 +0100 |
---|---|---|
committer | Christian Schendel | 2020-12-15 22:23:00 +0100 |
commit | 50bb21b3c18667e0b872ff7306fc9f7c1ef97fa2 (patch) | |
tree | 6055af9531ce8786a2244def8d7f3d44e19323f9 /gnome-shell-extension-applications-overview-tooltip.install | |
parent | ebc04b12519f5fbe494e39b9e6595058e8bd9e84 (diff) | |
download | aur-50bb21b3c18667e0b872ff7306fc9f7c1ef97fa2.tar.gz |
add gnome-shell-extension-applications-overview-tooltip.install with instructions on install/update
Diffstat (limited to 'gnome-shell-extension-applications-overview-tooltip.install')
-rw-r--r-- | gnome-shell-extension-applications-overview-tooltip.install | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/gnome-shell-extension-applications-overview-tooltip.install b/gnome-shell-extension-applications-overview-tooltip.install new file mode 100644 index 000000000000..19bbbb3c8b72 --- /dev/null +++ b/gnome-shell-extension-applications-overview-tooltip.install @@ -0,0 +1,24 @@ +post_install() { + instructions_install +} + +post_upgrade() { + instructions_upgrade +} + +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 +} |