view package-files/linux/deb/postinst @ 41:4903ac32a287

Work around minor bash bug.
author David Barts <n5jrn@me.com>
date Fri, 01 May 2020 23:12:35 -0700 (2020-05-02)
parents bcbc92ffe0d0
children
line wrap: on
line source
#!/bin/sh
set -e
if [ "$1" = "configure" ] && [ -x "`which update-menus 2>/dev/null`" ]; then update-menus ; fi