Bash: Difference between revisions
Jump to navigation
Jump to search
mNo edit summary |
mNo edit summary |
||
| Line 9: | Line 9: | ||
*[[Piping di stderr]] | *[[Piping di stderr]] | ||
*[[Evitare che uno script bash termini se un suo comando fallisce]] | *[[Evitare che uno script bash termini se un suo comando fallisce]] | ||
*[[Sostituire gli spazi con underscore nei nomi dei files]] | |||
Revision as of 14:33, 30 November 2006
- Stampare l'n-esima riga di un file con sed
- Trasformare una stringa in maiuscolo o minuscolo in bash
- Bash Shortcuts
- Debugging di script bash
- Eseguire un comando ad ogni prompt
- Gestione della history
- Gestione input con read
- Gestire le opzioni di uno script con getopts
- Piping di stderr
- Evitare che uno script bash termini se un suo comando fallisce
- Sostituire gli spazi con underscore nei nomi dei files