--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/package-files/linux/deb/postinst Fri Dec 25 19:07:47 2020 -0800 @@ -0,0 +1,3 @@ +#!/bin/sh +set -e +if [ "$1" = "configure" ] && [ -x "`which update-menus 2>/dev/null`" ]; then update-menus ; fi