#!/bin/bash

if [ ! -e unix_v5_rk.dsk ]
then
 cp /usr/share/pdp11/unix_v5_rk.dsk unix_v5_rk.dsk
fi
if [ ! -e unix-v5.cfg ]
then
 cp /usr/share/pdp11/unix-v5.cfg .
fi

/usr/bin/pdp11 unix-v5.cfg
