On 29/04/15 07:01, Krishna wrote:
On 29 April 2015 at 11:32, Antti Kantee <[email protected]> wrote:
On 29/04/15 02:43, BCG wrote:
On 04/27/2015 03:32 AM, Antti Kantee wrote:
Hence, my proposal of "rumpctrl".
my vote (if at all I have one) is for rumpctl - similar to sysctl,
systemctl and other "ctl" stuff.
Sure, everyone gets a vote ... but you missed the voting period by 59min ;)
I did consider rumpctl too, but then decided on ctrl, partially to avoid
confusion with *ctl (is e.g. ping or cat a "ctl"?) and partially because
I thought "ctrl" is more widely recognized. Both are debatable points,
but since voting is closed, it would be a purely academic debate.