Questo plugin è disponibile dal gedit-pluginspacchetto. A parte il nome e la breve descrizione, non ci sono altre informazioni utili sull'uso del plugin.
Qualcuno sa come usare questo plugin?
Come usi il plugin Commander in gedit?
Risposte:
Attiva il plugin commander da Edit -> Preferences ->Plugins Tab, lì controlla il plugin commander.
Ora fai clic Edit -> Commander Modee vedrai un prompt dei comandi in fondo.
Ecco un estratto dalla pagina del plugin Commander su Librerie Gnome :
- Visualizza una panoramica dei comandi disponibili -
Tab + Tab - Trova una parola nel file corrente -
/ foo- Questo troverà la parola pippo. - Sostituisci una parola nel file corrente -
// foo bar- Questo sostituirà foo con la barra. - Sposta il cursore su un certo numero di riga nel tuo file -
go [line number]o semplicementeg [line number] - Alterna l'indicatore del segnalibro per la linea corrente -
bookmarko semplicementeb
Ho trovato questo articolo su gedit-commandersul sito di GNOME; dovrebbe essere davvero utile. La home git-hub del progetto contiene anche ulteriori informazioni.
Sembra che la pagina del plug-in Commander sia sparita ora, ma è ancora possibile accedere al testo della guida dal menu gedit, almeno nella v3.4.1: Guida -> Contenuti -> Configurare e utilizzare plug-in gedit -> Plugin / Commander aggiuntivi gedit .
Ok, quando ho controllato questo ero su 12.04LTS. Purtroppo, e non sorprendentemente, è passato da gedit dal 14.04 (che utilizza gedit 3.10.4). La prossima volta che andrò il 12.04 cercherò di ricordare di afferrare il testo di aiuto, anche se penso che la risposta di Nitin probabilmente lo copra per lo più.
—
mwfearnley,