Plugin Minecraft PlugMan

🔌 Informazioni su PlugMan

PlugMan è un plugin Minecraft che consente la gestione in tempo reale di altri plugin dalla console del server o in gioco (con i privilegi appropriati). È pensato per amministratori di server e sviluppatori che devono ispezionare, elencare ed eseguire operazioni di base per attivare/disattivare/caricare/ricaricare i plugin installati senza riavviare il server.

🎯 Scopo

Lo scopo principale di PlugMan è la gestione e l’ispezione dei plugin: elimina la necessità di riavvii frequenti del server durante semplici attività di amministrazione dei plugin e fornisce informazioni sui plugin installati (versioni, autori, comandi registrati).

⚙️ Funzionalità

• Attivare, disattivare, caricare, scaricare e ricaricare i plugin in tempo reale (comandi per gestire lo stato dei plugin).
• Elencare i plugin installati in ordine alfabetico, opzionalmente con informazioni sulla versione.
• Mostrare informazioni su un plugin specifico (autori, versione, comandi registrati).
• Elencare quale plugin registra un determinato comando.
• Completamento automatico per nomi dei plugin e comandi.
• Esportare un elenco di plugin (con versioni) in un file.
• Controllo aggiornamenti opzionale che confronta un plugin installato con la versione su dev.bukkit.org.

🧩 A chi è rivolto

• Proprietari e amministratori di server che hanno bisogno di un controllo rapido dei plugin in tempo reale.
• Sviluppatori e autori di plugin che vogliono ispezionare i comandi registrati e i metadati dei plugin senza riavviare.

🏗️ Esempi d’uso

• Un amministratore disattiva un plugin problematico senza riavviare il server per diagnosticare i problemi.
• Uno sviluppatore individua quale plugin ha registrato un comando specifico per risolvere i conflitti.
• Esportare un elenco di plugin installati e versioni per audit o migrazione.

⌨️ Comandi

(Nota: la documentazione ufficiale del plugin elenca altri comandi di gestione per attivare/disattivare/ricaricare i singoli plugin; la tabella sopra mostra i comandi documentati esplicitamente dal progetto.)

⚙️ Installazione

📥 Configurazione

• Scarica il JAR ufficiale di PlugMan e inseriscilo nella directory plugins/ del tuo server.
• Riavvia il server così che il plugin venga caricato e crei i suoi file iniziali.
• Controlla la console/i log del server per confermare che PlugMan sia stato caricato correttamente.

🧠 Note tecniche

• PlugMan è open source e distribuito con licenza MIT.
• Storicamente, il progetto richiedeva Java 7 o superiore per funzionare.
• I comandi e le altre operazioni usano per impostazione predefinita i privilegi di operatore (OP), a meno che non sia presente una configurazione dei permessi; per default la maggior parte dei comandi richiede OP.
• Le ultime release note del progetto sono state pubblicate nei cataloghi comunitari di plugin e il progetto ha numerosi fork e derivati; consulta la pagina di distribuzione del plugin da cui lo hai scaricato per la compatibilità esatta con la versione.

🤝 Quando questo plugin è utile

Se hai bisogno di strumenti nel server per ispezionare i plugin installati, identificare quale plugin registra un comando o eseguire semplici operazioni di attivazione/disattivazione/ricarica senza un riavvio completo del server, PlugMan offre queste funzionalità di gestione in tempo reale in un pacchetto compatto e open source.