Extension:GoToShell
![]() | Cette extension n'est en ce moment pas activement maintenue ! Même si elle fonctionne peut-être encore, les reports de bug ou les demandes de nouvelles fonctionnalités seront probablement ignorés. Si vous êtes intéressé pour prendre en charge le développement et l'entretien de cette extension, vous pouvez demander à devenir propriétaire du répertoire. Vous pouvez par courtoisie contacter l'auteur. Vous devriez aussi enlevez ce modèle et vous ajouter à la liste des mainteneurs de l'extension sur l'infobox de la page {{extension}}. |
GoToShell État de la version : non-maintenu |
|
---|---|
![]() |
|
Implémentation | Page spéciale |
Description | Implements a special page that takes the user to shell and back |
Auteur(s) | Nathan Larson (Leucostictediscussion) |
Dernière version | 1.0.1 (2016-10-25) |
MediaWiki | 1.23+ |
PHP | 5.3 |
Modifications de la base de données |
Non |
Licence | Licence publique générale GNU v3.0 ou ultérieur |
Téléchargement | |
$wgGoToShellCommand |
|
|
|
Traduire l’extension GoToShell sur translatewiki.net | |
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 dossierextensions/
. - 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.