From 1ea5e7f013581bee3512b5eb0a6f810b1578d6ba Mon Sep 17 00:00:00 2001 From: Matteo Bernardini Date: Wed, 1 May 2019 09:57:15 +0200 Subject: 20190501.1 global branch merge. Signed-off-by: Matteo Bernardini --- desktop/seafile-client/doinst.sh | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 desktop/seafile-client/doinst.sh (limited to 'desktop/seafile-client/doinst.sh') diff --git a/desktop/seafile-client/doinst.sh b/desktop/seafile-client/doinst.sh new file mode 100644 index 0000000000..65c7e2eeb9 --- /dev/null +++ b/desktop/seafile-client/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 -- cgit v1.2.3