6 999
contributi
Bash tips: differenze tra le versioni
m
→Cambiare l'estensione ai file
(reintegrate redirezioni, ristrutturata la guida e aggiunto riferimento a espansioni avanzate) |
S3v (discussione | contributi) |
||
| (2 versioni intermedie di 2 utenti non mostrate) | |||
| Riga 203: | Riga 203: | ||
{{Suggerimento | Premettere ./ ad * è sempre consigliabile per impedire che file inizianti con "-" possano essere riconosciuti come opzioni. | {{Suggerimento | Premettere ./ ad * è sempre consigliabile per impedire che file inizianti con "-" possano essere riconosciuti come opzioni. | ||
Allo stesso scopo l'opzione "--" dopo il comando esterno <code>mv</code> serve per comunicargli che le stringhe che seguono non sono opzioni, nemmeno se iniziassero con il carattere "-". È sempre buona norma utilizzarla come controllo aggiuntivo con comandi che accettano file come argomenti.}} | Allo stesso scopo l'opzione "--" dopo il comando esterno <code>mv</code> serve per comunicargli che le stringhe che seguono non sono opzioni, nemmeno se iniziassero con il carattere "-". È sempre buona norma utilizzarla come controllo aggiuntivo con comandi che accettano file come argomenti.}} | ||
Un modo alternativo consiste nell'utilizzare il comando "rename": | |||
<pre> | |||
$ rename 's/.txt$/.old/' *.txt | |||
</pre> | |||
con cui si cambierà l'estensione di tutti i file ".txt" in ".old" . | |||
=== Espansioni avanzate === | === Espansioni avanzate === | ||
Molte espansioni che non possono essere racchiuse tra virgolette (non quotabili), ossia quelle di percorso, di tilde e di parentesi, sono molto utili in modalità interattiva. | Molte espansioni che non possono essere racchiuse tra virgolette (non quotabili), ossia quelle di percorso, di tilde e di parentesi, sono molto utili in modalità interattiva. | ||
A titolo di esempio, la tilde <code>~</code> può essere usata per sostituirsi alla propria home, senza scriverla ogni volta per intero | A titolo di esempio, la tilde <code>~</code> può essere usata per sostituirsi alla propria home, senza scriverla ogni volta per intero; e <code>~utente</code> per riferirsi alla home di un altro utente. Per scrivere il simbolo grafico della tilde con una tastiera con layout italiano basta digitare <code>Ctrl-ì</code>. | ||
Salva alcuni file di configurazione di bash (~/.bashrc, ~/.bash_profile) nell'archivio bash_backup.tgz: | Salva alcuni file di configurazione di bash (~/.bashrc, ~/.bash_profile) nell'archivio bash_backup.tgz: | ||