Extension:GoToShell

Manuel des extensions MediaWiki

GoToShell État de la version : stable
Implémentation	Special page
Description	Implements a special page that takes the user to shell and back
Auteur(s)	Nathan Larson (Leucostictetalk)
Dernière version	1.0.1 (2016-10-25)
MediaWiki	1.23+
PHP	5.3
Changements base de données	Non
Licence	GNU General Public License 3.0 or later
Téléchargement	Télécharger l'extension Git [?]: Télécharger la branche master de Git parcourir le dépôt (GitHub) historique des validations (commits) relecture du code
Paramètres $wgGoToShellCommand
Traduisez l’extension GoToShell sur translatewiki.net
Vérifiez la matrice des utilisations et des versions.

The GoToShell extension implements a special page that takes the user to shell and back. This extension is free software than can be modified and distributed under the terms of the GPL and/or the DWTSYWWI (Do Whatever The Shell You Want With It) license. By default, shell is reserved for bureaucrats only, but you can change $wgGroupPermissions so that other deserving users can go to shell too.

Installation et configuration

Installation

• Téléchargez et placez le(s) fichiers (s) dans un répertoire appelé GoToShell dans votre dossier extensions/.

• Ajoutez le code suivant à la fin de votre fichier LocalSettings.php :

  require_once "$IP/extensions/GoToShell/GoToShell.php";
  

•  Fait – Accédez à Special:Version sur votre wiki pour vérifier que l'extension a bien été installée.

Configuration

$wgGoToShellCommand

Set this to whatever you want it to do; e.g. "ls -l", "./maintenance/php update.php --quick ", "rm -rf /incriminating_data", etc.

Voir aussi

• Extension:MaintenanceShell