diff options
author | Jeremy Hansen <jebrhansen+SBo@gmail.com> | 2017-03-27 21:27:49 +0100 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2017-04-01 06:56:57 +0700 |
commit | 452d501c95cd070c8e592a4e227192a09e18fad3 (patch) | |
tree | d76029ec05c70b5e3ec4b665b87b78e22154e6a3 /multimedia/mediainfo/doinst.sh | |
parent | d805898ffc7a5863cfd10b16c535c68b87af88b2 (diff) |
multimedia/mediainfo: New mediainfo-gui option.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'multimedia/mediainfo/doinst.sh')
-rw-r--r-- | multimedia/mediainfo/doinst.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/multimedia/mediainfo/doinst.sh b/multimedia/mediainfo/doinst.sh new file mode 100644 index 0000000000000..65c7e2eeb9aa5 --- /dev/null +++ b/multimedia/mediainfo/doinst.sh @@ -0,0 +1,9 @@ +if [ -x /usr/bin/update-desktop-database ]; then + /usr/bin/update-desktop-database -q usr/share/applications >/dev/null 2>&1 +fi + +if [ -e usr/share/icons/hicolor/icon-theme.cache ]; then + if [ -x /usr/bin/gtk-update-icon-cache ]; then + /usr/bin/gtk-update-icon-cache -f usr/share/icons/hicolor >/dev/null 2>&1 + fi +fi |