changeset 11251 | 4e803e80d7b1 |
parent 11139 | 56490ffde93f |
child 11297 | cd27ac5e5afe |
11250:ab189e707705 | 11251:4e803e80d7b1 |
---|---|
628 print(""); |
628 print(""); |
629 print("Usage: "..arg[0].." COMMAND [OPTIONS]"); |
629 print("Usage: "..arg[0].." COMMAND [OPTIONS]"); |
630 print(""); |
630 print(""); |
631 print("Where COMMAND may be one of:\n"); |
631 print("Where COMMAND may be one of:\n"); |
632 |
632 |
633 local hidden_commands = require "util.set".new{ "register", "unregister", "addplugin" }; |
633 local hidden_commands = require "util.set".new{ "register", "unregister" }; |
634 local commands_order = { "install", "remove", "list", "adduser", "passwd", "deluser", "start", "stop", "restart", "reload", |
634 local commands_order = { "install", "remove", "list", "adduser", "passwd", "deluser", "start", "stop", "restart", "reload", |
635 "about" }; |
635 "about" }; |
636 |
636 |
637 local done = {}; |
637 local done = {}; |
638 |
638 |