diff options
| author | Mohammadreza Abdollahzadeh | 2022-01-18 21:45:30 +0330 |
|---|---|---|
| committer | Mohammadreza Abdollahzadeh | 2022-01-18 21:45:30 +0330 |
| commit | 82aee5dc827f7b343b5bba38b6d699a09536efa5 (patch) | |
| tree | 72d582029fa188cfcaef6cbd6c7953553b55eb4a /gnome-shell-extension.install | |
| parent | 34eba4ae6623f11acd5318a27c2fbbbf9053afa9 (diff) | |
| download | aur-82aee5dc827f7b343b5bba38b6d699a09536efa5.tar.gz | |
fix PKGBUILD
Diffstat (limited to 'gnome-shell-extension.install')
| -rw-r--r-- | gnome-shell-extension.install | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnome-shell-extension.install b/gnome-shell-extension.install index 484bc1b03f77..0bdba153ae31 100644 --- a/gnome-shell-extension.install +++ b/gnome-shell-extension.install @@ -1,7 +1,7 @@ post_install() { echo "==> ****************************************************" - echo "==> Don't forget to Restart GNOME Shell ([Alt]+[F2], r)." - echo "==> ****************************************************" + echo "==> Don't forget to Restart GNOME Shell ([Alt]+[F2], r)." + echo "==> ****************************************************" } post_upgrade() { |