3 581
contributi
Bash tips: differenze tra le versioni
m
→Espansioni avanzate: mancava un a capo
(reintegrate redirezioni, ristrutturata la guida e aggiunto riferimento a espansioni avanzate) |
m (→Espansioni avanzate: mancava un a capo) |
||
| Riga 207: | Riga 207: | ||
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: | ||