#!/bin/sh ARCHIVE_DIR=/home/groups/pkg-gnome/archive CONFIG_FILE=$ARCHIVE_DIR/etc/mini-dinstall.conf umask 002 mini-dinstall --config=$CONFIG_FILE --batch