12-05-2008
Actually, nevermind, I figured it out, which is far more satisfying.
10 More Discussions You Might Find Interesting
1. UNIX for Dummies Questions & Answers
Hi All,
I have a huge unix flat file delimted by @ at the end of the line. I need to find out if there is any line/s containing @ in between the line so that I can remove that and put the file for processing.
Thanks in advance for your help. (4 Replies)
Discussion started by: b.paramanatti
4 Replies
2. UNIX for Dummies Questions & Answers
Hi all,
I am trying to zgrep / grep list of files so that it displays only the matching filename:line number and does not display the whole line, like:
(echo "1.txt";echo "2.txt") | xargs zgrep -no STRING
If I use -o option, it displays the matching STRING and if not used, displays the... (3 Replies)
Discussion started by: vvaidyan
3 Replies
3. Shell Programming and Scripting
Hi,
Need awk help to group and print lines to format the output as shown below
INPUT FORMAT
set echo on
set heading on
set spool on
/* SCHEMA1 */ CREATE TABLE T1;
/* SCHEMA1 */ CREATE TABLE T2;
/* SCHEMA1 */ CREATE TABLE T3;
/* SCHEMA1 */ CREATE TABLE T4;
/* SCHEMA1 */ CREATE TABLE T5;... (5 Replies)
Discussion started by: rajan_san
5 Replies
4. Shell Programming and Scripting
One file is
fileA
0.0246*0.0068*0.0013*0.0023*0.0182*0.0028*0.0019*0.4750*0.0028*0.0812*0.0123*0.0018*0.0039*0.0020*0.0028*0.0047*0.0139*0.3330*0.0017*0.0072*0.4789... (4 Replies)
Discussion started by: cdfd123
4 Replies
5. Programming
Hi friends,,
i have find the matching data between 2files.
My file1 have a data like
rs3001336
rs3984736
rs2840532
File2 have a data like
rs3736330 1 2359237 A G 0.28 1.099 0.010
rs2840532 1 2359977 G A 0.363 0.3373 1.123
rs3001336 1 2365193 G A 0.0812 0.07319 1.12 ... (1 Reply)
Discussion started by: sureshraj
1 Replies
6. Shell Programming and Scripting
Hi friends,,
i have find the matching data between 2files.
My file1 have a data like
rs3001336
rs3984736
rs2840532
File2 have a data like
rs3736330 1 2359237 A G 0.28 1.099 0.010
rs2840532 1 2359977 G A 0.363 0.3373 1.123
rs3001336 1 ... (4 Replies)
Discussion started by: sureshraj
4 Replies
7. Shell Programming and Scripting
Hi Folks,
I have an html file which contains the below line in the body tagI am trying the replace hello with Hello Giridhar programatically.
<body>
<P><STRONG><FONT face="comic sans ms,cursive,sans-serif"><EM>Hello</EM></FONT></STRONG></P>
</body>
I have written the below code to... (3 Replies)
Discussion started by: giridhar276
3 Replies
8. Shell Programming and Scripting
Hello,
I'm pretty stumped, and I don't know why I am not able to redirect the output to the 'graphme' file with the command below in Fedora 18.
tcpdump -l -n -t "tcp == 18" | perl -ane '($s,$j)=split(/,/,$F,2); print "$s\n";' > graphme
In case you're wondering, I was following the example... (2 Replies)
Discussion started by: ConcealedKnight
2 Replies
9. Shell Programming and Scripting
Hi,
I want to achieve something similar to what described in another post:
The difference is I want to add the line if the pattern is not found.
File 1:
A123, valueA, valueB
B234, valueA, valueB
C345, valueA, valueB
D456, valueA, valueB
E567, valueA, valueB
F678, valueA, valueB
... (11 Replies)
Discussion started by: jyu3
11 Replies
10. Shell Programming and Scripting
I have multiple (~80) files (some can be as big as 30GB of >1 billion of lines!) to grep on a pattern, and piped the match to a single file. I have a 96-core machine so that each grep job was sent to the background to speed up the search:
file1.tab
chr1A_part1 123241847 123241848... (6 Replies)
Discussion started by: yifangt
6 Replies
MONA(1) BRICS tools MONA(1)
NAME
mona - a decision procedure for the logics WS1S and WS2S
SYNOPSIS
mona [ options ] mona-file
DESCRIPTION
MONA is a tool that translates formulas in the logics WS1S or WS2S into finite-state automata represented by BDDs. The formulas may
express search patterns, temporal properties of reactive systems, parse tree constraints, etc. MONA also analyses the automaton resulting
from the compilation, and determines whether the formula is valid and, if the formula is not valid, generates a counter-example.
The MONA project is a research project at the BRICS Research Center at University of Aarhus, Denmark.
Full documentation, GPL source code, and related research papers are available from the MONA project home page at http://www.brics.dk/mona
OPTIONS
-w Output whole automaton. Default is to only output its size.
-n Don't analyze automaton. Default is to analyze for validity and unsatisfiability and to generate a satisfying example and counter-
example.
-t Print elapsed time for each phase. If -s is also used, the time for each automaton operation is also printed.
-s Print statistics. Prints information for each automaton operation and a summary.
-i Print intermediate automata (implies -s).
-d Dump AST, symboltable, and code DAG. Useful for debugging.
-q Quiet, don't print progress.
-e Enable separate compilation. (See the MONALIB environment variable below.)
-oN Code optimization level N (0=none, 1=safe, 2=heuristic) (default 1).
-r Disable BDD index reordering, use order of declaration as index ordering. Default is to reorder BDD indices heuristically.
-f Force normal tree-mode output style. Only applicable for WSRT mode.
-m Alternative M2L-Str emulation (v1.3 style).
-h Enable inherited acceptance analysis.
-u Unrestrict output automata. Create conventional automata by converting "don't-care" states to "reject" states and minimizes.
-gw Output whole automaton in Graphviz format (implies -n -q). (Graphviz is available at
http://www.research.att.com/sw/tools/graphviz/)
-gs Output satisfying example tree in Graphviz format (implies -q).
-gc Output counter-example tree in Graphviz format (implies -q).
-gd Dump code DAG in Graphviz format (implies -n -q).
-xw Output whole automaton in external format (implies -n -q). "External format" is the format used by dfalib and gtalib, see the source
package.
ENVIRONMENT
MONALIB
Defines the directory used for separate-compilation automata (default is current directory).
BUGS
Please send bug reports to <mona@brics.dk>
AUTHORS
Anders Moeller <amoeller@brics.dk>, Nils Klarlund, Jacob Elgaard, Theis Rauhe, and Morten Biehl.
FEBRUARY 2008 MONA(1)