ps/linux-pinebook
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

update to build on 5.15

Browse source
This commit is contained in:
Juan José Gutiérrez de Quevedo Pérez 2021-11-02 21:21:26 +00:00 • committed by Juan José Gutiérrez de Quevedo Pérez
parent ebe18fc3a5
commit 73c6ffa15b
8 changed files with 232 additions and 316 deletions
Download patch file Download diff file Expand all files Collapse all files

10
linux-pinebook.install Normal file
View file

@ -0,0 +1,10 @@
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-linux.img
rm -f boot/initramfs-linux-fallback.img
}