diff package-files/linux/deb/postinst @ 34:d175593317a8

Add a bunch of packaging stuff, NOT WORKING YET,
author David Barts <n5jrn@me.com>
date Wed, 29 Apr 2020 21:49:21 -0700
parents
children bcbc92ffe0d0
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/package-files/linux/deb/postinst	Wed Apr 29 21:49:21 2020 -0700
@@ -0,0 +1,3 @@
+#!/bin/sh
+set -e
+if [ "$1" = "configure" ] && [ -x /usr/bin/update-menus ]; then update-menus ; fi