This file is indexed.

/usr/bin/nd_updateall is in neurodebian-dev 0.37.2.

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
#!/bin/bash

. /etc/neurodebian/cmdsettings.sh

if [ -z "$SERIAL" ]; then
    parallel nd_updatedist -- $alldists
else
    # Original serial version, we might want to switch between the two
    # upon -j
    for d in $alldists; do
      dfamily=${d%%-*}
      drelease=${d##*-}
    
      nd_updatedist $dfamily $drelease
    done
fi