Re: Three letter name space is getting crowded

[William Nico <nico@mcs.csuhayward.edu>]

This problem has been around since at least Solaris 2.5. My solution
for our system is to use the name "pvs2". That's far easier than changing
paths, etc.

-- Bill

**************************************************************************
*  William R. Nico, Professor, Dept. of Mathematics and Computer Science *
*  California State University, Hayward                                  *
*  25800 Carlos Bee Boulevard                                            *
*  Hayward, CA  94542-3092                                               *
*  e-mail: nico@csuhayward.edu                  FAX: (510)885-4169       *
*  Off. phone: (510)885-3386   Dept. (for messages): (510)885-3414       *
*  www.mcs.csuhayward.edu/~nico                                          *
**************************************************************************



> From pvs-owner+M48@csl.sri.com Tue Mar  6 09:47:05 2001
> Date: Tue, 06 Mar 2001 18:32:44 +0200
> From: Pertti =?iso-8859-1?Q?Kellom=E4ki?= <pk@cs.tut.fi>
> Organization: Tampere University of Technology
> 
> I was quite surprised when I tried to start up PVS on my workstation
> and received:
> 	usage: /usr/bin/sparcv9/pvs [-dlnorsv] [-N Name] file(s)
> 
> The pvs man page on our system says:
> 
> -------------------------------------------------------------------
> User Commands                                              pvs(1)
> 
> NAME
>      pvs - display the internal version  information  of  dynamic
>      objects
> -------------------------------------------------------------------
> 
> It seems that Sun is trying to hijack the pvs command.
> -- 
> Pertti Kellom\"aki, Tampere Univ. of Technology, Software Systems Lab
>