1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-17 03:25:46 +00:00
freebsd-ports/emulators/its/files/its.sh
Edwin Groothuis cecf451da1 New port of ITS RP06 filesystem image for KLH10 PDP-10 emulator
New port containing an ITS RP06 filesystem image for KLH10
	PDP-10 emulator.  Now's your chance to see firsthand what
	was happening at MIT in the 60s through the early 90s.  Run
	the original versions of Emacs on TECO and Maclisp, etc.

PR:		ports/39912
Submitted by:	Ken Stailey <kstailey@speakeasy.net>
2003-01-19 13:55:28 +00:00

58 lines
1.3 KiB
Bash

#!/bin/sh
#
# $FreeBSD$
#
# Run KLH10 with KS-ITS hardware configuration and ITS OS configuration
# to bring up MIT Incompatible Timesharing System emulation.
in_network=false
for i in `groups`; do
if [ $i = network ]; then
in_network=true
break
fi
done
if [ `whoami` = root ]; then
in_network=true
fi
if [ $in_network = false ]; then
echo WARNING: You must be in group network in order to run a networked ITS.
echo WARNING: You may still run a non-networked ITS.
fi
if [ ! -r ~/.itsrc ]; then
echo its: My config file '(~/.itsrc)' is missing!
echo its: Did you remember to run its-user-install\?
echo its: Terminating.
exit 1
fi
set -e # croak on corrupt config file.
. ~/.itsrc
set +e
if [ "$KLH10_HOME" = "" ]; then
echo its: KLH10_HOME is missing from my config file.
echo its: terminating.
exit 1
elif [ ! -d "$KLH10_HOME" ]; then
echo its: $KLH10_HOME is not a directory.
echo its: terminating.
exit 1
fi
if [ "$PI_IMAGE" = "" ]; then
echo its: PI_IMAGE is missing from my config file.
echo its: Terminating.
exit 1
elif [ ! -w "$PI_IMAGE" ]; then
echo its: $PI_IMAGE is not a writable file.
echo its: Terminating.
exit 1
fi
cd $KLH10_HOME
exec lockf -t 0 -k $PI_IMAGE kn10-ks klh10-kn-freebsd.ini