rc/bin/uptime

   1 #!/bin/awk -f
   2
   3 BEGIN{
   4         getline sysname < "/dev/sysname";
   5
   6         getline < "/dev/time";
   7         sec = sprintf("%d", $3/$4);
   8
   9         ct = sprintf("%02d:%02d:%02d", sec%86400/3600, sec%86400%3600/60, sec%60);
  10         printf("%s up %d days, %s\n", sysname, sec/86400, ct);
  11
  12         exit
  13 }