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.

Reply via email to