blob: 99ad72bdd05358c26cb415eda5d9c46463fe9dad (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
Workaround if /etc/motd is missing
--- ostype.orig 1993-04-19 19:18:37.000000000 +0300
+++ ostype
@@ -6,6 +6,8 @@
set os="UNKNOWN"
if ( -f /etc/motd ) then
set os=`awk -f ostype.awk /etc/motd`
+else
+ set os=`uname -a | awk -f ostype.awk`
endif
if ($os == "") exit 1
if ($os == "UNKNOWN") then
|