blob: 71ddf11c17bd1b3a698da07f89c4af9706bbca06 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
#!/bin/sh
set -e
die() {
echo "die: $*"
exit 1
}
cleanup() {
if [ -d mnt ]; then
umount mnt || ( sleep 1 && sync && umount mnt )
rmdir mnt
echo "done"
fi
}
if [ "$(id -u)" != 0 ]; then
sudo -E -- "$0" "$@" || die "this script needs to run as root"
exit 0
else
: "${SUDO_UID:=0}" "${SUDO_GID:=0}"
fi
if [ -z "$SERENITY_TARGET_INSTALL_PARTITION" ]; then
die "SERENITY_TARGET_INSTALL_PARTITION environment variable was not set!"
fi
printf "verifying partition %s is already ext2... " "$SERENITY_TARGET_INSTALL_PARTITION"
if file -sL "$SERENITY_TARGET_INSTALL_PARTITION" 2>&1 | grep "ext2" > /dev/null; then
echo "done"
else
die "$SERENITY_TARGET_INSTALL_PARTITION is not an ext2 partition!"
fi
trap cleanup EXIT
printf "mounting filesystem on device %s... " "$SERENITY_TARGET_INSTALL_PARTITION"
mkdir -p mnt
if ! eval "mount $SERENITY_TARGET_INSTALL_PARTITION mnt/"; then
die "could not mount existing ext2 filesystem on $SERENITY_TARGET_INSTALL_PARTITION"
else
echo "done"
fi
script_path=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
"$script_path/build-root-filesystem.sh"
|
