Manta

Plug-in per Manta

I plug-in estendono Manta, in qualsiasi linguaggio di programmazione. Un plug-in è un piccolo programma che parla con Manta tramite righe JSON su stdin/stdout. I plug-in integrati sono inclusi nell’app; quelli della community li installi tu.

Installare un plug-in Scrivere il tuo

Plug-in integrati

Inclusi in Manta e attivi fin dall’inizio. Puoi disattivarli uno per uno in Impostazioni › Plug-in.

  • Git

    Stato git in tempo reale nell’elenco dei file, informazioni sul branch nella barra del percorso e un pannello Git.

  • Terminale

    Un terminale sotto ogni pannello che segue in tempo reale la cartella del pannello.

  • Dimensioni cartelle

    Dimensioni reali delle cartelle nell’elenco dei file e un pannello “Utilizzo disco” che mostra cosa occupa spazio.

  • Rinomina in blocco

    Rinomina molti file insieme con regole, anteprima in tempo reale e annullamento.

  • Anteprima Markdown

    Un’anteprima in tempo reale e ben impaginata del file Markdown selezionato o del README della cartella.

  • Azioni rapide

    I tuoi comandi per la selezione: ridimensionare immagini, creare ZIP, aprire in VS Code, checksum e altro ancora. Si configurano in actions.json.

  • Info progetto

    Rileva il progetto in cui ti trovi (Laravel, Composer, npm/pnpm, Docker Compose, Cargo, Python, Make…) ed esegue i suoi script nel Terminale con un clic.

  • Duplicati

    Trova i file identici in una cartella e nelle sue sottocartelle (dimensione, poi un hash rapido, poi SHA-256) e sposta le copie in eccesso nel Cestino.

  • Strumenti immagine

    Dettagli delle immagini con anteprima ed EXIF, badge “lo”/“XL” e, per la selezione, ridimensionamento, conversione, ottimizzazione per il web, set @2x, rimozione dei metadati e data URI.

  • Carico di sistema

    Carico della CPU, carico della GPU e memoria utilizzata nella barra di stato. Fai clic per aprire Monitoraggio Attività.

Plug-in della community

Scritti da altri, installati da te. Ogni voce ha codice sorgente pubblico e un checksum.

Ancora nessun plug-in della community

Qui non c’è ancora niente. Hai scritto un plug-in? Sii il primo ad aggiungerlo.

Come proporre un plug-in

Installare un plug-in

  1. Scarica il file .mantaplugin o .zip, oppure clona la cartella del plug-in.
  2. In Manta apri Impostazioni › Plug-in e fai clic su «Installa plug-in…». Scegli la cartella o il file .zip / .mantaplugin.
  3. Controlla nome, autore e permessi nella conferma.
  4. Attiva il plug-in.

I plug-in esterni vengono eseguiti in una sandbox di macOS: possono fare solo ciò che i loro permessi consentono, ad esempio leggere i tuoi file o usare la rete. Installa solo plug-in di cui ti fidi.

Altro nel manuale: Capitolo 15: Plug-in personali · Capitolo 14: Plug-in integrati

Scrivi il tuo plug-in

Un plug-in è una cartella con un plugin.toml e un programma. Il modo più rapido è partire da un modello:

  • Modelli in Python, Node.js, Rust e shell
  • Guida per sviluppatori (in inglese): manifest, protocollo, permessi
  • Prova senza Manta: python3 scripts/plugin-test.py percorso/del/plugin
Proponi il tuo plug-in

Apri una pull request che aggiunge una voce a plugins/registry.json.