pillole di comandi gnu/linux

eliminare tutti i file con estensione diversa da quella prescelta rm !(*.ext1|*.ext2|*.ext3|…|*.extN) Esempio: cancellare tutto nella directory ad esclusione dei file .php rm !(*.php) visualizzazione delle directory a struttura ad albero ls -R | grep “:$” | sed -e ‘s/:$//’ -e ‘s/[^-][^\/]*\//–/g’ -e ‘s/^/ /’ -e ‘s/-/|/’ calcolatrice da command line ? () { echo ...

Miniguida alla creazione di booklet da un pdf su A4 2

Miniguida alla creazione di booklet da un pdf su A4
Intro Un booklet e’ un libretto/fascicolo/opuscolo delle dimensioni di un foglio A5 (~metá A4). Li si ottiene piegando uno o più fogli A4 piegati al centro, sul lato più lungo. In questa piccola guida si presenta come trasformare un documento scritto su uno o più fogli A4 (l’importante e’ che il numero di pagine sia ...

Il LinuxTrent organizza un corso di bash shell :)

Dove? Trento – cooperativa Samuele c/o Villa Sant’Ignazio Via alle Laste 22 Quando? i 5 lunedì dal 9 marzo al 6 aprile. Dalle 20:30 alle 22:30 Come? Minimo 10 massimo 20 partecipanti Abbiamo a disposizione 6 pc che metteremo a disposizone ai primi che lo richiederanno all’iscrizione. Gli altri dovranno portarsi il proprio portatile che ...

Bash shell in 30″ 2

Variabili di ambiente PATH – definisce i percorsi dove trovare tutti i programmi eseguibili HOME – directory dell’utente MAIL – il file dove vengono archivate le email dell’utente IFS – contiene la stringa che viene utilizzata come separatore per le linee di comando. Il valore preimpostato e’ uno spazio PS1 e PS2 – sono rispettivamente ...