#!/bin/sh
# $UFP$
#set -x

if [ -t 1 ]; then
  echo "# ${0}: pipe this output to sh to unmount the worker directories." > /dev/stderr
fi

df -a | awk '/\/var\/synth\/builders\/synth-live\/SL[0-9]+/{n=split($NF,a,"/");printf"%03d %s\n",n,$NF}' | sort -nr | awk '{print"umount",$NF}' #| sh

# EOF