blob: 8ebb3ba6a62000e8ec68a612f01cb2a820784acd (
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
48
49
50
51
52
53
54
55
56
|
#!/usr/bin/env bash
set -e
script_path=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
. "${script_path}/shell_include.sh"
cleanup() {
if [ -d mnt ]; then
umount mnt || ( sleep 1 && sync && umount mnt )
rmdir mnt
echo "done"
fi
}
if [ "$(id -u)" != 0 ]; then
set +e
${SUDO} -- sh -c "\"$0\" $* || exit 42"
case $? in
1)
die "this script needs to run as root"
;;
42)
exit 1
;;
*)
exit 0
;;
esac
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/build-root-filesystem.sh"
|
