/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: 2021-02-04 17:59:45 UTC
  • Revision ID: teddy@recompile.se-20210204175945-8druo6d88ipc1z58
Fix issue with french translation

Initial white space was missing in both msgid and msgstr of the french
translation, leading to checking tools reporing an incomplete
translation.  The string is a raw key id, and therefore did not need
translation, so this was never a user-visible issue.

* debian/po/fr.po: Add missing whitespace to the id and translation
  for msgid " ${key_id}".

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
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