/jEdit/tags/jedit-4-3-pre5/package-files/linux/deb/postinst

# · Shell · 3 lines · 2 code · 0 blank · 1 comment · 2 complexity · 7018323ddd5550a85081ffa664e57237 MD5 · raw file

  1. #!/bin/sh
  2. set -e
  3. if [ "$1" = "configure" ] && [ -x /usr/bin/update-menus ]; then update-menus ; fi