diff options
Diffstat (limited to 'linux-pinebook.install')
-rw-r--r-- | linux-pinebook.install | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/linux-pinebook.install b/linux-pinebook.install deleted file mode 100644 index e883595..0000000 --- a/linux-pinebook.install +++ /dev/null @@ -1,27 +0,0 @@ -# arg 1: the new package version -# arg 2: the old package version - -KERNEL_NAME=-pinebook -KERNEL_VERSION=5.7.0-rc1-1-ARCH+ - -post_install () { - # updating module dependencies - echo ">>> Updating module dependencies. Please wait ..." - depmod ${KERNEL_VERSION} -} - -post_upgrade() { - if findmnt --fstab -uno SOURCE /boot &>/dev/null && ! mountpoint -q /boot; then - echo "WARNING: /boot appears to be a separate partition but is not mounted." - fi - - # updating module dependencies - echo ">>> Updating module dependencies. Please wait ..." - depmod ${KERNEL_VERSION} -} - -post_remove() { - # also remove the compat symlinks - rm -f boot/initramfs-linux.img - rm -f boot/initramfs-linux-fallback.img -} |