diff sed_recipes @ 19:cc270db37d33 draft

Directories re-arranged
author Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Sat, 06 Oct 2012 21:50:39 +0200
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/sed_recipes	Sat Oct 06 21:50:39 2012 +0200
@@ -0,0 +1,8 @@
+less Elk_output.text | sed s/INFO/X/ > output
+less Elk_output.text | sed s/.*org.semanticweb.elk.reasoner.*// > output
+less Elk_output.text | sed /.*org.semanticweb.elk.reasoner.*/d > output
+
+| sed /.*org.semanticweb.elk.reasoner.*/d 
+less Elk_output.text | sed /^\s*\<.*\>/d 
+
+