Salve a tutti, ho un problema! Avrei alcuni file da tagliare, dalla terza occorrenza di una data stringa, fino alla fine del file (con stringa non inclusa, possibilmente). Come fare? Grazie in anticipo! |
Se ho capito bene la tua domanda puoi provare così:
awk è molto potente per elaborare file di testo. La sezione BEGIN viene eseguita una volta, mentre la successiva sezione tra {} viene eseuita su ogni riga del file letto. $0 indica la riga, l'opzione -v consente di passare valori dalla bash, nel nostro caso la variabile tok impostata con la stringa da cercare. Spero sia quello che ti serve, comunque puoi trovare il manuale con il comando:
|
Segui questa domanda
Via email:Una volta eseguito l'accesso potrai iscriverti a tutti gli aggiornamenti qui
Via RSS:Basi di markdown
- *corsivo* o __corsivo__
- **grassetto** o __grassetto__
- collegamento:[testo](http://url.com/ "titolo")
- immagine?
- elenco numerato: 1. Foo 2. Bar
- per aggiungere un'interruzione di riga, aggiungi due spazi a fine riga e premi «Invio»
- è supportato anche semplice HTML
Tag:
domanda posta: 31 May '14, 16:38
domanda visualizzata: 1,666 volte
ultimo aggiornamento: 03 Jun '14, 21:58