tools/nd_updateall

   1 #!/bin/bash
   2
   3 . /etc/neurodebian/cmdsettings.sh
   4
   5 if [ -z "$SERIAL" ]; then
   6     parallel nd_updatedist -- $alldists
   7 else
   8     # Original serial version, we might want to switch between the two
   9     # upon -j
  10     for d in $alldists; do
  11       dfamily=${d%%-*}
  12       drelease=${d##*-}
  13
  14       nd_updatedist $dfamily $drelease
  15     done
  16 fi