|
7
by Colin Watson
* Resynchronise with Debian. |
1 |
# Make sure mtab in the chroot reflects the currently mounted partitions.
|
2 |
update_mtab() { |
|
3 |
[ "$ROOT" ] || return 0 |
|
4 |
||
5 |
mtab=$ROOT/etc/mtab |
|
6 |
grep "$ROOT" /proc/mounts | ( |
|
7 |
while read devpath mountpoint fstype options n1 n2 ; do |
|
8 |
devpath=`mapdevfs $devpath || echo $devpath` |
|
9 |
mountpoint=`echo $mountpoint | sed "s%^$ROOT%%"` |
|
10 |
# The sed line removes the mount point for root.
|
|
11 |
if [ -z "$mountpoint" ] ; then |
|
12 |
mountpoint="/" |
|
13 |
fi
|
|
14 |
echo $devpath $mountpoint $fstype $options $n1 $n2 |
|
15 |
done ) > $mtab |
|
16 |
}
|
|
17 |
||
18 |
is_floppy () { |
|
19 |
echo "$1" | grep -q '(fd' || echo "$1" | grep -q "/dev/fd" || echo "$1" | grep -q floppy |
|
20 |
}
|