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.
I want to add to the rationalwiki.org page header:
meta name=robots content=NOODP
- per https://support.google.com/webmasters/answer/35624?hl=en#2
There are several meta tag extensions on mediawiki.org, in varying
states of maintanedness.
Which particular one do others use for this task, or a
Job am Museum für Naturkunde in Berlin:
Programmierer/in - Mitarbeit im Forschungs- und Entwicklungsprojekt
Wiki-Ansatz und kollaboratives Arbeiten im Forschungsmuseum (befristet;
Teilzeit; Bewerbungsfrist: 23.12.2013; Kennziffer 67/2013)
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?
10 matches
Mail list logo