grub-linux-rt-default-hook.install


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

patch_file=/usr/share/grub-linux-rt-default-hook/grub-linux-rt-default-hook.patch

post_install() {
  patch -p0 <"$patch_file"
}

post_upgrade() {
  post_install
}

pre_remove() {
  patch -R -p0 <"$patch_file"
}

pre_upgrade() {
  pre_remove
}