#!/bin/bash

if [ ! -e unix0_v6_rk.dsk ]
then
 cp /usr/share/pdp11/unix0_v6_rk.dsk unix0_v6_rk.dsk
fi
if [ ! -e unix1_v6_rk.dsk ]
then
 cp /usr/share/pdp11/unix1_v6_rk.dsk unix1_v6_rk.dsk
fi
if [ ! -e unix2_v6_rk.dsk ]
then
 cp /usr/share/pdp11/unix2_v6_rk.dsk unix2_v6_rk.dsk
fi
if [ ! -e unix3_v6_rk.dsk ]
then
 cp /usr/share/pdp11/unix3_v6_rk.dsk unix3_v6_rk.dsk
fi
if [ ! -e unix-v6.cfg ]
then
 cp /usr/share/pdp11/unix-v6.cfg .
fi
/usr/bin/pdp11 unix-v6.cfg
