diff options
author | Christian Schendel | 2020-12-25 20:09:59 +0100 |
---|---|---|
committer | Christian Schendel | 2020-12-25 20:09:59 +0100 |
commit | 9827ba9d6c7b29e990749b565f0cbc927eacc308 (patch) | |
tree | ea3d37da3702402b53d72c4dd7aecd429a8b9bab /gnome-shell-extension-applications-overview-tooltip.install | |
parent | ef86790550c48e2b341bfe44c63f4f516b191567 (diff) | |
download | aur-9827ba9d6c7b29e990749b565f0cbc927eacc308.tar.gz |
beautify the .install script
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." } + |