Re: Registration request

>>>  Oops, I did it again:
>>  ...
>  ... and again

 ... and again.

 I'd like to register the

  /command/exec
  /command/exit

commands, for the admin/execline package.
 (Sorry about the short delay between the previous registration and
this request. I cannot foretell whether and when some command will be
needed.)

 There is no name collision I'm aware of. "exec" and "exit" are
shell builtins, and I've never seen them used outside of a shell.

 exec is the execline NOP: it simply executes into the next command.
It has its uses (when doing environment modifications, for instance).
 exit exits with the given exit code.

 Thanks,

-- 
 Ska