This file is indexed.

/usr/bin/orte-bootproxy is in openmpi1.5-bin 1.5.4-0ubuntu1.

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

if (( $# < 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 [ "${var:0:5}" = "OMPI_" ]; do
    if [ "${var:5:6}" = "PREFIX" ]; then
        export LD_LIBRARY_PATH="${var:12}"/lib:$LD_LIBRARY_PATH
        export PATH="${var:12}"/bin:$PATH
    elif [ "${var:5:4}" = "WDIR" ]; then
        cd "${var:10}"
    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" "$@"