From: Mark Lawrence (nomad_at_null.net)
Date: Mon 31 Jan 2005 - 15:50:59 GMT
On Mon, 31 Jan 2005, Enrico Scholz wrote:
> micah_at_riseup.net (Micah Anderson) writes:
>
> > A small bug report and a feature request:
> >
> > 1. vserver --help shows me:
> >
> > running ... succeeds iff the vserver is running
> >
> > -------------------------^^^ should only be one "f" :)
>
> Really? It is meant as
>
> | From The Free On-line Dictionary of Computing (09 FEB 02) [foldoc]:
> |
> | iff
> |
> | <mathematics, logic> if and only if, i.e. necessary and
> | sufficient. For example, two figures are {congruent} iff one
> | can be placed over the other so that they coincide.
However it is certainly not commonly used leading to questions/doubts like
Micah's. It is also overkill to explicitly say "if and only if" when "if
the vserver is running" is sufficiently clear.
the vserver is running"
The following is sufficient:
"'running' will succeed if the vserver is running"
for the help statement. It would be
sufficient to say "running - succeeds if the vserver is running"
is certainly not common amongst those without a mathematics
background
>
>
>
> > Feature request would be to create a vserver <name> remove
> > that properly shuts down the vserver and then removes its
> > configuration and vserver files. I mistakenly removed the
> > files before stopping the vserver last night and it was an
> > interesting adventure to solve that (credit of course goes to
> > Bertl to track down how).
>
> When namespaces are used (that's the default), everything will be
> unmounted after finishing the last process. So executing 'vkill
> --xid <ID> -s 9' would have done the trick also. ;)
>
> I will think about the 'vserver ... remove' command.
>
>
>
> Enrico
>
> _______________________________________________
> Vserver mailing list
> Vserver_at_list.linux-vserver.org
> http://list.linux-vserver.org/mailman/listinfo/vserver
>
-- Mark Lawrence +41 79 309 06 33 _______________________________________________ Vserver mailing list Vserver_at_list.linux-vserver.org http://list.linux-vserver.org/mailman/listinfo/vserver