diff --git a/common/content/ui.js b/common/content/ui.js index 89e5009a..dc2c314b 100644 --- a/common/content/ui.js +++ b/common/content/ui.js @@ -841,6 +841,17 @@ function CommandLine() //{{{ }, { argCount: "0" }); + commands.add(["sil[ent]"], + "Run a command silently", + function (args) + { + commandline.runSilently(function () liberator.execute(args[0])); + }, + { + completer: function (context) completion.ex(context), + literal: 0 + }); + /////////////////////////////////////////////////////////////////////////////}}} ////////////////////// PUBLIC SECTION ////////////////////////////////////////// /////////////////////////////////////////////////////////////////////////////{{{