Bash tips: differenze tra le versioni

Vai alla navigazione Vai alla ricerca
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. E per riferirsi alla home di un altro utente basta scriverne il nome dopo la tilde, per esempio: <code>~utente</code>
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>.
Per farla 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:
3 581

contributi

Menu di navigazione