I'd like to be able to run shell commands from a menu.
I've looked at the MaintenanceShell extension, but that's not what I am
looking for - it's too broad.
What I need is a menu option that a user can click on and that executes a
single, predetermined shell command on the server.
Does anything
On Wed, Dec 4, 2013 at 8:07 AM, y...@seiner.com wrote:
I'd like to be able to run shell commands from a menu.
I've looked at the MaintenanceShell extension, but that's not what I am
looking for - it's too broad.
What I need is a menu option that a user can click on and that executes a
On Wed, Dec 4, 2013 at 8:07 AM, y...@seiner.com wrote:
I'd like to be able to run shell commands from a menu.
Would it be acceptable for this to be implemented as a special page that
the user would visit, that would then immediately execute the shell
command?
That would work, yes.
On Wed, Dec 4, 2013 at 8:35 AM, y...@seiner.com wrote:
On Wed, Dec 4, 2013 at 8:07 AM, y...@seiner.com wrote:
I'd like to be able to run shell commands from a menu.
Would it be acceptable for this to be implemented as a special page that
the user would visit, that would then
On Wed, Dec 4, 2013 at 8:35 AM, y...@seiner.com wrote:
On Wed, Dec 4, 2013 at 8:07 AM, y...@seiner.com wrote:
I'd like to be able to run shell commands from a menu.
Would it be acceptable for this to be implemented as a special page
that
the user would visit, that would then
On Wed, Dec 4, 2013 at 12:55 PM, y...@seiner.com wrote:
H...
https://www.mediawiki.org/wiki/Special:ExtensionDistributor/GoToShell
No such extension
I take it I can copy and paste the files off the web page?
Also, how difficult would it be to extend it to allow multiple commands
On Wed, Dec 4, 2013 at 12:55 PM, y...@seiner.com wrote:
H...
https://www.mediawiki.org/wiki/Special:ExtensionDistributor/GoToShell
No such extension
I take it I can copy and paste the files off the web page?
Also, how difficult would it be to extend it to allow multiple commands
On Wed, Dec 4, 2013 at 10:55 AM, y...@seiner.com wrote:
On Wed, Dec 4, 2013 at 12:55 PM, y...@seiner.com wrote:
H...
https://www.mediawiki.org/wiki/Special:ExtensionDistributor/GoToShell
No such extension
I take it I can copy and paste the files off the web page?