diff options
Diffstat (limited to 'gnome-shell-extension-applications-overview-tooltip.install')
-rwxr-xr-x[-rw-r--r--] | gnome-shell-extension-applications-overview-tooltip.install | 32 |
1 files changed, 14 insertions, 18 deletions
diff --git a/gnome-shell-extension-applications-overview-tooltip.install b/gnome-shell-extension-applications-overview-tooltip.install index 19bbbb3c8b72..36082690278e 100644..100755 --- a/gnome-shell-extension-applications-overview-tooltip.install +++ b/gnome-shell-extension-applications-overview-tooltip.install @@ -1,24 +1,20 @@ -post_install() { - instructions_install -} - -post_upgrade() { - instructions_upgrade -} - -instructions_install() { - cat <<-EOT +# Colored makepkg-like functions - Restart GNOME Shell ([Alt]+[F2], r). - Activate the extension with gnome-tweak-tool. +all_off="$(tput sgr0)" +bold="${all_off}$(tput bold)" +blue="${bold}$(tput setaf 4)" +yellow="${bold}$(tput setaf 3)" - EOT +note() { + printf "${blue}==>${yellow} NOTE:${bold} $1${all_off}\n" } -instructions_upgrade() { - cat <<-EOT - - Restart GNOME Shell ([Alt]+[F2], r) to load the upgraded extension. +post_install() { + note "Restart GNOME Shell ([Alt]+[F2], r)." + note "Activate the extension with gnome-tweak-tool." +} - EOT +post_upgrade() { + note "Restart GNOME Shell ([Alt]+[F2], r) to load the upgraded extension." } + |