Plugin Minecraft PlugMan

🔌 À propos de PlugMan

PlugMan est un plugin Minecraft qui permet de gérer d’autres plugins en temps réel depuis la console du serveur ou en jeu (avec les privilèges appropriés). Il est destiné aux administrateurs de serveurs et aux développeurs qui ont besoin d’inspecter, de lister et d’effectuer des opérations de base d’activation/désactivation/chargement/rechargement sur les plugins installés sans redémarrer le serveur.

🎯 Objectif

L’objectif principal de PlugMan est la gestion et l’inspection des plugins : il évite de devoir redémarrer fréquemment le serveur pour effectuer de simples tâches d’administration, et fournit des informations sur les plugins installés (versions, auteurs, commandes enregistrées).

⚙️ Fonctionnalités

• Activer, désactiver, charger, décharger et recharger des plugins en temps réel (commandes pour gérer l’état des plugins).
• Lister les plugins installés par ordre alphabétique, avec éventuellement les informations de version.
• Afficher des informations sur un plugin précis (auteurs, version, commandes enregistrées).
• Indiquer quel plugin enregistre une commande donnée.
• Autocomplétion pour les noms de plugins et les commandes.
• Exporter une liste de plugins (avec les versions) dans un fichier.
• Vérification de mise à jour facultative qui compare un plugin installé à la version sur dev.bukkit.org.

🧩 À qui s’adresse-t-il

• Aux propriétaires et administrateurs de serveurs qui ont besoin d’un contrôle rapide des plugins en temps réel.
• Aux développeurs et auteurs de plugins qui veulent inspecter les commandes enregistrées et les métadonnées des plugins sans redémarrer.

🏗️ Exemples d’utilisation

• Un administrateur désactive un plugin problématique sans redémarrer le serveur afin de diagnostiquer un problème.
• Un développeur identifie quel plugin a enregistré une commande précise pour résoudre un conflit.
• Exporter une liste des plugins installés et de leurs versions pour l’audit ou la migration.

⌨️ Commandes

(Note : la documentation officielle du plugin liste d’autres commandes de gestion pour activer/désactiver/recharger des plugins individuels ; le tableau ci-dessus montre les commandes explicitement documentées par le projet.)

⚙️ Installation

📥 Installation

• Téléchargez le JAR officiel de PlugMan et placez-le dans le dossier plugins/ de votre serveur.
• Redémarrez le serveur pour que le plugin se charge et crée ses fichiers initiaux.
• Vérifiez la console/les journaux du serveur pour confirmer que PlugMan s’est chargé correctement.

🧠 Notes techniques

• PlugMan est open source et distribué sous licence MIT.
• Le projet a historiquement nécessité Java 7 ou plus récent pour fonctionner.
• Les commandes et autres opérations utilisent par défaut les privilèges d’opérateur (OP), sauf si une configuration de permissions est fournie ; par défaut, la plupart des commandes nécessitent OP.
• Les dernières versions connues du projet ont été publiées sur des catalogues communautaires de plugins, et le projet possède plusieurs forks et dérivés ; consultez la page de distribution du plugin depuis laquelle vous l’avez téléchargé pour connaître la compatibilité exacte des versions.

🤝 Quand ce plugin est utile

Si vous avez besoin d’outils en jeu pour inspecter les plugins installés, identifier quel plugin enregistre une commande ou effectuer de simples opérations d’activation/désactivation/rechargement sans redémarrage complet du serveur, PlugMan offre ces capacités de gestion en temps réel dans un package compact et open source.