systemd/debian/extra/kernel-install.d/60-initrd.install
Martin Pitt c41ccefca5 Add debian/extra/kernel-install.d/60-initrd.install
This kernel-install drop-in copies the initrd of the selected kernel to the
EFI partition.
2016-08-24 06:54:17 +02:00

31 lines
585 B
Bash
Executable File

#!/bin/sh
set -eu
# -*- mode: shell-script; indent-tabs-mode: nil; sh-basic-offset: 4; -*-
# ex: ts=8 sw=4 sts=4 et filetype=sh
COMMAND="$1"
KERNEL_VERSION="$2"
BOOT_DIR_ABS="$3"
KERNEL_IMAGE="$4"
INITRD_SRC="/boot/initrd.img-$KERNEL_VERSION"
INITRD_DEST="$BOOT_DIR_ABS/initrd"
if [ "$COMMAND" = remove ]; then
rm -f "$INITRD_DEST"
exit 0
fi
if [ "$COMMAND" != add ]; then
echo "Invalid command $COMMAND" >&2
exit 1
fi
if [ -e "$INITRD_SRC" ];then
cp "$INITRD_SRC" "$INITRD_DEST"
else
echo "$INITRD_SRC does not exist, not installing an initrd"
fi
exit 0