#!/bin/csh -f # @(#) $Header: /usr/staff/martinh/tcpview/RCS/ostype,v 1.3 1993/04/19 16:18:34 martinh Exp $ (UW) # # Determine os type. # set os="UNKNOWN" if ( -f /etc/motd ) then set os=`awk -f ostype.awk /etc/motd` endif if ($os == "") exit 1 if ($os == "UNKNOWN") then if ( -f /hp-ux ) then set os="hpux" else if ( -f /etc/uerf ) then set os="ultrix" endif endif echo $os if ($os == "UNKNOWN") exit 1 exit 0