Bug#423268: Finding whether /boot is on its own partition.

Paul Martin pm at debian.org
Sat May 12 16:41:09 UTC 2007


In shell:

if [ $( stat -c %d /boot ) -eq $( stat -c %d / ) ]
then
 # /boot is on the same partition as /
 prefix="/boot"
else
 # /boot is on its own partition
 prefix="/"
fi

/usr/bin/stat is in coreutils which is an essential package, so you
can count on it being available.

-- 
Paul Martin <pm at debian.org>




More information about the Pkg-grub-devel mailing list