/mandos/trunk

To get this branch, use:
bzr branch http://bzr.recompile.se/loggerhead/mandos/trunk

« back to all changes in this revision

Viewing changes to initramfs-tools-script-stop

  • Committer: Teddy Hogeborn
  • Date: 2019-07-29 16:35:53 UTC
  • Revision ID: teddy@recompile.se-20190729163553-1i442i2cbx64c537
Make tests and man page examples match

Make the tests test_manual_page_example[1-5] match exactly what is
written in the manual page, and add comments to manual page as
reminders to keep tests and manual page examples in sync.

* mandos-ctl (Test_commands_from_options.test_manual_page_example_1):
  Remove "--verbose" option, since the manual does not have it as the
  first example, and change assertion to match.
* mandos-ctl.xml (EXAMPLE): Add comments to all examples documenting
  which test function they correspond to.  Also remove unnecessary
  quotes from option arguments in fourth example, and clarify language
  slightly in fifth example.

Show diffs side-by-side

added added

removed removed

Lines of Context:
initramfs-tools-script-stop
 
1
#!/bin/sh -e
 
2
# 
 
3
# Script to wait for plugin-runner to exit before continuing boot
 
4
# 
 
5
# Copyright © 2018 Teddy Hogeborn
 
6
# Copyright © 2018 Björn Påhlsson
 
7
# 
 
8
# This file is part of Mandos.
 
9
# 
 
10
# Mandos is free software: you can redistribute it and/or modify it
 
11
# under the terms of the GNU General Public License as published by
 
12
# the Free Software Foundation, either version 3 of the License, or
 
13
# (at your option) any later version.
 
14
# 
 
15
#     Mandos is distributed in the hope that it will be useful, but
 
16
#     WITHOUT ANY WARRANTY; without even the implied warranty of
 
17
#     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 
18
#     GNU General Public License for more details.
 
19
# 
 
20
# You should have received a copy of the GNU General Public License
 
21
# along with Mandos.  If not, see <http://www.gnu.org/licenses/>.
 
22
# 
 
23
# Contact the authors at <mandos@recompile.se>.
 
24
# 
 
25
# This script will run in the initrd environment at boot and remove
 
26
# the file keeping the dummy plugin running, forcing plugin-runner to
 
27
# exit if it is still running.
 
28
 
 
29
# This script should be installed as
 
30
# "/usr/share/initramfs-tools/scripts/local-premount/mandos" which will
 
31
# eventually be "/scripts/local-premount/mandos" in the initrd.img
 
32
# file.
 
33
 
 
34
PREREQ=""
 
35
prereqs()
 
36
{
 
37
    echo "$PREREQ"
 
38
}
 
39
 
 
40
case $1 in
 
41
prereqs)
 
42
        prereqs
 
43
        exit 0
 
44
        ;;
 
45
esac
 
46
 
 
47
. /scripts/functions
 
48
 
 
49
pid=$(cat /run/mandos-plugin-runner.pid 2>/dev/null)
 
50
 
 
51
# If the dummy plugin is running, removing this file should force the
 
52
# dummy plugin to exit successfully, thereby making plugin-runner shut
 
53
# down all its other plugins and then exit itself.
 
54
rm -f /run/mandos-keep-running >/dev/null 2>&1
 
55
 
 
56
# Wait for exit of plugin-runner, if still running
 
57
if [ -n "$pid" ]; then
 
58
    while :; do
 
59
        case "$(readlink /proc/"$pid"/exe 2>/dev/null)" in
 
60
            */plugin-runner) sleep 1;;
 
61
            *) break;;
 
62
        esac
 
63
    done
 
64
    rm -f /run/mandos-plugin-runner.pid >/dev/null 2>&1
 
65
fi