32
edits
Changes
→"Poor man's vzps in bash"
veid=`grep envID /proc/$pid/status | awk -F: '{print $2}'`
if [ ${veid} = ${myveid} ]; then
fi
done
shift
if [ -n "${VEPIDS}" ]; then ps $* -p "$VEPIDS"
else
exit 0