jump to navigation

Come forzare lo svuotamento del Cestino di GNOME

In Ergonomia, Facili, o quasi :), Guide il 22/12/06 @ 18:09 27 commenti

Ecco un micro “consiglio del giorno” che ci viene proposto da “Ubuntu Tutorials“. Si tratta di svuotare il cestino… un’operazione ordinaria, direte voi. Ma vi è capitato mai che lo gnomo si rifiutasse di compierla?

E me succede abbastanza di frequente che compilando, installando ed eliminando robaccia in stato di pre-alpha :D mi rimanga nel cestino qualcosa su cui non ho i necessari permessi che mi permettono di eliminarla “definitivamente”. In questi casi la soluzione che ho sempre usato quasi senza pensarci è questa. La trascrivo perché magari qualche nuovo utente non ci arriva da solo.

$: sudo rm -rf ~/.Trash

Questo spazzerà via il cestino insieme al suo contenuto. Non temete, la directory nascosta “.Trash” verrà ricreata immediatamente, ripristinando l’originale funzionalità.

Leggi il resto…

 

Comodamente shell: la Bash completion

In Facili, o quasi :), Felipizza la tua distro, Guide il 17/10/06 @ 1:25 20 commenti

di felipe

Per la serie “Rendere operativa una Ubuntu secondo felipe“, volevo da tempo scrivere di questa fantastica caratteristica della Bash che si chiama “programmable bash completion” (da adesso in poi: BC) o “autocompletamento programmabile della bash” :-)

Sono d’accordo: in italiano suona un po’ una merda, ma adesso vi spiego cosa è, come si attiva e come non potrete più farne a meno.

Leggi il resto

 

Shell: alcune interessanti combinazioni di tasti

In Facili, o quasi :), Guide il 4/10/06 @ 14:29 12 commenti

di felipe

Beh visto che ci sono, dopo “Shell: usare /etc/inputrc per alcuni trucchetti” metto per iscritto anche alcune combinazioni di tasti che dovrebbero funzionare con tutte le versioni recenti della Bash. Alcune sono molto utili e altre sono *indispensabili* :)

Si parte:

Poi ci sono delle combinazioni un po’ più strambe che voglio descrivere separatamente:

sdt.gif

Uhm… se me ne vengono in mente altri li aggiungo, oppure meglio: facciamo la gara a chi ne sa di più? :)

 

Shell: usare /etc/inputrc per alcuni trucchetti

In Ergonomia, Facili, o quasi :), Felipizza la tua distro, Guide il 4/10/06 @ 11:30 26 commenti

di felipe

11/11/06: aggiunto il punto 4, wow finalmente!

Mi decido a scrivere questo MicroHowto dopo tanto tempo, non è niente di spettacolare ma è una di quelle cose che possono fare la differenza, e vi assicuro che una volta abituati a queste piccole comodità non si torna indietro! :)

Non molti sanno che readline, la libreria che legge gli input, può essere in qualche modo configurata, e questo generalmente significa la possibilità di risparmiarci i polpastrelli :D

Generalmente /etc/inputrc esiste già in molte distro, in alcuni casi è già configurato per la massima comodità, ma per la maggior parte c’è un bel po’ da migliorare. Ecco le righe che io ritengo indispensabili, potete fare copia/incolla nel vostro inputrc:

# 1) Tasti Home/End per
# spostarsi all'inizio/fine della riga
"\e[1~": beginning-of-line
"\e[4~": end-of-line
# 2) PgUp e PgDn per
# l'autocompletamento in base alla history
"\e[5~": history-search-backward
"\e[6~": history-search-forward
# 3) Ctrl + frecce destra/sinistra per
# spostarsi da una parola all'altra
"\e[1;5C": forward-word
"\e[1;5D": backward-word
"\e[5C": forward-word
"\e[5D": backward-word
"\e\e[C": forward-word
"\e\e[D": backward-word
# 4) Alt + Canc per
# eliminare intere parole davanti al cursore
"\e[3;3~": kill-word

NB: Davanti alla “e” va sempre un backslash (es: “\e[1~”), purtroppo wordpress mi odia e le elimina -.- (grazie tkk!).

So già che volete spiegazioni sul secondo punto :) eccole:

C’è qualche comando noioso che eseguite “spesso ma non troppo”, oppure comandi kilometrici abbastanza simili che volete ricordare? Bene, basta scrivere le prime lettere del comando e successivamente premere su Pag.Su per scorrere nella history. La shell vi mostrerà solo i comandi simili :) Guardate questo screencast:

inputrc.gif

Per approfondimenti: il manuale readline(3readline) e`info rluserman’