blob: ea587a9c8bb3638a23bd14119fde565f491e5024 (
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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
#!/bin/sh
set -e
script_path=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
cd "${script_path}/.."
if ! command -v tar >/dev/null 2>&1 ; then
echo "Please install tar!"
exit 1
fi
if [ "$#" = "0" ]; then
VERIFY_GIT_STATE=n
elif [ "$#" = "1" ] && [ "$1" = "--verify-git-state" ]; then
VERIFY_GIT_STATE=y
else
echo "USAGE: $0 [--verify-git-state]"
echo "This script runs Serenity and exports a set of manpages through ArgsParser,"
echo "and places them in Base/usr/share/man/."
echo "If --verify-git-state is given, this script verifies that this does not modify"
echo "the git state, i.e. that all exported manpages already were in the repository"
echo "with the exact same content."
exit 1
fi
echo "This script assumes passwordless sudo."
sudo true
if [ -z "$BUILD_DIR" ]; then
if [ -z "$SERENITY_ARCH" ]; then
export SERENITY_ARCH="x86_64"
echo "SERENITY_ARCH not given. Assuming ${SERENITY_ARCH}."
fi
BUILD_DIR=Build/"$SERENITY_ARCH"
echo "BUILD_DIR not given. Assuming ${BUILD_DIR}."
fi
if [ -e fsmount ]; then
echo "Directory 'fsmount' already exists."
echo "Manual cleanup needed. You might also need to unmount first."
exit 1
fi
if ! [ -d Base/usr/share/man/ ]; then
echo "Base/usr/share/man/ does not exist. How did that happen?! o.O"
exit 1
fi
echo "Using 'ninja run' to generate manpages ..."
export SERENITY_RUN="ci"
export SERENITY_KERNEL_CMDLINE="graphics_subsystem_mode=off panic=shutdown system_mode=generate-manpages"
# The 'sed' gets rid of the clear-screen escape sequence.
ninja -C "$BUILD_DIR" -- run | sed -re 's,''c,,'
echo
mkdir fsmount
sudo mount -t ext2 -o loop,rw "$BUILD_DIR"/_disk_image fsmount
if sudo test -f "fsmount/root/generate_manpages_error.log"; then
echo ":^( Generating manpages failed, error log:"
sudo cat fsmount/root/generate_manpages_error.log
sudo umount fsmount
rmdir fsmount
exit 1
fi
echo "Extracting generated manpages ..."
# 'cp' would create the new files as root, but we don't want that.
sudo tar -C fsmount/root/generated_manpages --create . | tar -C Base/usr/share/man/ --extract
sudo umount fsmount
rmdir fsmount
echo "Successfully (re-)generated manpages in Base/usr/share/man/"
if [ "$VERIFY_GIT_STATE" = "y" ]; then
echo "Verifying git state ..."
if [ "" != "$(git clean -n Base/usr/share/man)" ] || ! git diff --quiet Base/usr/share/man; then
echo "Failed: There are missing and/or outdated manpages."
echo "$ git status Base/usr/share/man"
git status Base/usr/share/man
echo "$ git diff Base/usr/share/man"
git diff Base/usr/share/man
echo "You may need to run ./Meta/export-argsparser-manpages.sh on your system and commit/squash the resulting changes."
exit 1
else
echo "Verified: No missing or outdated manpages. Great!"
fi
fi
|
