diff options
author | João Figueiredo | 2020-10-20 23:55:19 +0100 |
---|---|---|
committer | João Figueiredo | 2020-10-20 23:55:19 +0100 |
commit | 670f4cf3b41b66d135eb9371a575d8746c52c6d5 (patch) | |
tree | f3e5570f181529a717185d04212543821999c70d | |
parent | 236c9feb013a30547642bf4e9c1d37207234b184 (diff) | |
download | aur-670f4cf3b41b66d135eb9371a575d8746c52c6d5.tar.gz |
Remove .install
-rw-r--r-- | plasma-desktop-git.install | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/plasma-desktop-git.install b/plasma-desktop-git.install deleted file mode 100644 index 5495fb1b5d27..000000000000 --- a/plasma-desktop-git.install +++ /dev/null @@ -1,12 +0,0 @@ -post_install() { - xdg-icon-resource forceupdate --theme hicolor &> /dev/null - update-desktop-database -q -} - -post_upgrade() { - post_install -} - -post_remove() { - post_install -} |