Dave Horner's Website - Yet another perspective on things...
Home Tech Talk Programming SED - stream editor
89 guests
Rough Hits : 2697043
moon and stars

More from me...

how did u find my site?





 
our entire universe; minuscule spec in gigantic multiverse which is mostly lethal.



 
Simplicity is the ultimate sophistication.
- Leonardo da Vinci
$$\cos x = \sum\limits_{n = 0}^\infty {\frac{{\left( { - 1} \right)^n x^{2n} }}{{\left( {2n} \right)!}}}$$

SED - stream editor

Saturday, 14 January 2012 13:31
Sed - An Introduction and Tutorial by Bruce Barnett

Resuming from mid-way through an import from(Ben Nolan - Big MySql Imports)
cat dump.sql | sed -n -e '/`some_table_name`/,$p' | mysql --init-command="SET foreign_key_checks = 0;" database_name


To delete/skip the empty/blank lines: sed '/^$/d' inputFile
To delete/skip the lines that are empty or contain only spaces:sed '/^[[:space:]]*$/d' inputFile
To delete/skip the lines starts with #: sed '/^#/d' inputFile
To delete/skip the lines where the very first non-space character is #: sed '/^[[:space:]]*#/d' inputFile
Remove html tags: sed 's/<[^>]\+>//g'
command line - How to use sed to replace only the first occurrence in a file? - Stack Overflow

< Prev  Next >
Last Updated on Tuesday, 09 July 2013 21:22