03-22-2013
Please use code tags as required by forum rules!
I have to second Don Cragun, as it is a mystery to me what be your desired output and what be the logics to achieve it. Please explain in plain English what comes from where and goes to where, so we can start helping you.
10 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
Hi,
I would like to ask if there is any method to grep a chuck of lines based on the latest file in a directory.
E.g
Latest file in the directory:
Line 1: 532243
Line 2: 123456
Line 3: 334566
Line 4: 44567545
I wanted to grep all the line after line 2 i.e. Line 3 and line 4 and... (5 Replies)
Discussion started by: dwgi32
5 Replies
2. Shell Programming and Scripting
Hi,
I have for instance following INPUT file from which I want to grep ALL lines NOT containing the literal '{' into an OUTPUT file:
...
RUNJOB=1,AxBxALLxGEx
RUNJOB=0,AxBxDELxGExPRAEMxABLxZGS
RUNJOB=0,AxBxDELxGExPRAEMxHARM
RUNJOB=0,{UNIX: echo '§ASG§;%ASG_START}... (8 Replies)
Discussion started by: ABE2202
8 Replies
3. Shell Programming and Scripting
I have to grep on a few words in a file and then display the line containing those words and the line above it.
For ex -
File1.txt contains...
abc xyz abc
This is a test
Test successful
abc xyz abc
Just a test
Test successful
I find the words 'Test successful' in the file... (6 Replies)
Discussion started by: user7617
6 Replies
4. Shell Programming and Scripting
Hi Everyone,
I have 1.txt
1
6-6
3-3
word
y
f
6-6
word
5-5
4
5-5
word
The output should be:
3-3 (8 Replies)
Discussion started by: jimmy_y
8 Replies
5. Shell Programming and Scripting
Hi Friends,
I have a file which has many of the statements like below
******** MAKING > noun1 < cg_all
statements
statements
statements
********* MAKING > noun2 < cg_all
statements
statements
statements
********* MAKING > noun3 < all
statements
statements
statements
I would... (3 Replies)
Discussion started by: ganga.dharan
3 Replies
6. Shell Programming and Scripting
Hi,
I have one file, say file 1, that has data like below where 19900107 is the date,
19900107 12 144 129 0.7380047
19900108 12 168 129 0.3149017
19900109 12 192 129 3.2766666E-02
... (3 Replies)
Discussion started by: Wynner
3 Replies
7. UNIX for Dummies Questions & Answers
Sample File
abc
xyz
def
abc
ggh
abc
xyz
I just created a sample file above to show what I need. I need to grep two lines. e.g abc and xyz(only if they are one after the other) so output would be
abc
xyz
abc
xyz
(note abc followed by ggh line would not come out in the output). I... (9 Replies)
Discussion started by: ran123
9 Replies
8. UNIX for Dummies Questions & Answers
Hello. How does one grep lines in a file that have only one field?
AAA BBB CCC
DDD
AAA CCC
Is is possible to grep "DDD" becuase it has only one field?
Thanks.
---------- Post updated at 08:03 PM ---------- Previous update was at 07:25 PM ----------
I found it, thank you!
awk 'NF... (2 Replies)
Discussion started by: jimmyf
2 Replies
9. Shell Programming and Scripting
Hi guys,
This is probably very easy but I've no idea how to pull this out.
Basically, I need to find errors into a very large logfile. When you grep the ID, the output is like this:
+- Type: 799911 Code: Ret: 22728954 Mand: X Def: Des: UserDes: SeqNo: 2
+- Type: 799911 Code: Ret:... (5 Replies)
Discussion started by: Arkadia
5 Replies
10. Shell Programming and Scripting
Hi all,
I have two files.
File A looks like this:
abkhasian com|hum
accent com|com|com|com|sta
acceptation act|com|sta
adventures com|hum
adversity com|hum|hum
and File B looks like this:
adventure
adventures
adversary
Adverse
adversity
I want to print those lines in File A... (9 Replies)
Discussion started by: owwow14
9 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)