#!/bin/tcsh -f

start_remote_processes -n halldraid1 "(rm -f /dev/shm/et_sys_er; et_start -d -f /dev/shm/et_sys_er -n 2000 -s 150000) >& /dev/null &"
start_remote_processes -n halldraid1 "chmod go+rw /dev/shm/et_sys_er"