This file is indexed.

/usr/bin/orte-bootproxy is in openmpi-bin 1.6.5-9.1+deb8u1.

This file is owned by root:root, with mode 0o755.

The actual contents of the file can be viewed below.

 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
92
#!/bin/sh
#
# Copyright (c) 2009      Los Alamos National Security, LLC. All rights reserved
# Copyright (c) 2009      Cisco Systems, Inc.  All rights reserved.
#

if test $# -lt 1; then
    echo "orte-bootproxy.sh: for OMPI internal use only"
    exit 1
fi

# take the first arg
var=$1

# if the var is CLEANUP, then we are in cleanup mode
if [ "${var}" = "CLEANUP" ]; then
    shift 1
    var=$1
    if [ -n "${var}" ] && [ "${var}" = "APPS" ]; then
        # kill specified apps
        shift 1
        var=$1
        # get the process table
        psout=`ps`
        # cycle through and look for the specified apps
        while [ -n "${var}" ] && [ "${var}" != "FILES" ]; do
            testvar=`echo "${psout}" | grep "${var}"`
            if [ -n "${testvar}" ]; then
#                echo "killall" "${var}"
                killall -TERM "${var}"
            fi
            shift 1
            var=$1
        done
        if [ -n "${var}" ]; then
            shift 1
            var=$1
            # remove specified files
            while [ -n "${var}" ]; do
                if [ -e "${var}" ]; then
#                    echo "rm" "${var}"
                    rm -f "${var}"
                fi
                shift 1
                var=$1
            done
        fi
    elif [ "${var}" = "FILES" ]; then
        # remove specified files
        shift 1
        var=$1
        while [ -n "${var}" ]; do
            if [ -e "${var}" ]; then
#                echo "rm" "${var}"
                rm -f "${var}"
            fi
            shift 1
            var=$1
        done
    fi
    # remove any session directories from this user
#    sdir="${TMPDIR}""openmpi-sessions-""${USER}""@"`hostname`"_0"
    sdir="/tmp/openmpi-sessions-""${USER}""@"`hostname`"_0"
    if [ -e "${sdir}" ]; then
#        echo "rm" "${sdir}"
        rm -rf "${sdir}"
    fi
    exit 0
fi

# push all MCA params to the environment
while [ "$(echo $var | awk  '{ string=substr($0, 1, 5); print string; }' )" = "OMPI_" ]; do
    if [ "$(echo $var | awk  '{ string=substr($0, 6, 6); print string; }' )" = "PREFIX" ]; then
        TMP_PATH=$(echo $var | awk  '{ string=substr($0, 1, 12); print string; }' )
        export LD_LIBRARY_PATH="$TMP_PATH"/lib:$LD_LIBRARY_PATH
        export PATH="$TMP_PATH"/bin:$PATH
    elif [ "$(echo $var | awk  '{ string=substr($0, 5, 4); print string; }' )" = "WDIR" ]; then
        cd "$(echo $var | awk  '{ string=substr($0, 1, 10); print string; }' )"
    else
        export $var
    fi
    shift 1
    var=$1
done

# extract the application to be executed
app=$1
shift 1

#exec the app with the remaining args
#echo "executing" "$app"
exec "$app" "$@"