index : packages | |
Archlinux32 package modifications | gitolite user |
summaryrefslogtreecommitdiff |
author | Tasos Sahanidis <tasos@tasossah.com> | 2024-03-02 15:40:04 +0200 |
---|---|---|
committer | Tasos Sahanidis <tasos@tasossah.com> | 2024-03-02 15:40:04 +0200 |
commit | ed713ec92210ebf74b3fd4555812f72c2c853b69 (patch) | |
tree | 10ec1404c35200dcbcf8b03382a492eda02f5d0f /extra/linux-pae/linux.install | |
parent | 01e71ca192bfcaeb6991e7c42890f4760b3d975a (diff) |
-rw-r--r-- | extra/linux-pae/linux.install | 10 |
diff --git a/extra/linux-pae/linux.install b/extra/linux-pae/linux.install deleted file mode 100644 index 37ba3749..00000000 --- a/extra/linux-pae/linux.install +++ /dev/null @@ -1,10 +0,0 @@ -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 -} - -post_remove() { - rm -f boot/initramfs-%PKGBASE%.img - rm -f boot/initramfs-%PKGBASE%-fallback.img -} |