File: grub-invaders.postinst

package info (click to toggle)
invaders 1.0.0-19
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 324 kB
  • sloc: ansic: 2,231; sh: 56; asm: 28; makefile: 17
file content (11 lines) | stat: -rw-r--r-- 172 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
 
#!/bin/sh

set -e

if [ "$1" = "configure" ] && [ -x "`which update-grub2 2>/dev/null`" ] && [ -e /boot/grub/grub.cfg ] ; then
        update-grub2
fi

#DEBHELPER#

exit 0