12-12-2005
Quote:
Originally Posted by mona
I don't think the global flag is required.
True.
Force of habit !
10 More Discussions You Might Find Interesting
1. UNIX for Dummies Questions & Answers
I AM TRYING TO APPEND THE HOSTNAME OF A UNIX SERVER I WORK WITH SO I COULD DO A LOADING INTO A DATABASE.
THE COMMAND I AM USING IS
df -k | sed 's/^/dataserver /'
What I intend to do is append the hostname dynamically by using the hostname command instead of having to manually enter... (1 Reply)
Discussion started by: Chelsea
1 Replies
2. UNIX for Dummies Questions & Answers
Hi ,
echo "07/05/2008" | sed 's/\(..\)\/\(..\)\/\(..\)/\3\2\1/'
Output :: 20050708
Expected output is 20080507
Iam not getting the bug in this.
Thanks for the help
-- penchal (4 Replies)
Discussion started by: penchal_boddu
4 Replies
3. Shell Programming and Scripting
Hi,
I have to use SED to remove the prefix "219-" from a text file containing phone numbers and I have to remove the ":" as well. I write the following code but it does not seem to work. Can someone help me please?
mohit@mohit-desktop:~$ sed -n s/219-/" "/p corp_phones_bak > noprefix1... (2 Replies)
Discussion started by: mojoman
2 Replies
4. Shell Programming and Scripting
Hi All!
I am trying to use shell variables in a sed statement, but facing an error.I used the double quotes instead if single quotes in the sed statement.
# sed -i -e "s/password/$decoded/g;" $CATALINA_HOME/conf/server.xml
sed: -e expression #1, char 11: unterminated `s' command
#
... (5 Replies)
Discussion started by: nua7
5 Replies
5. Shell Programming and Scripting
I have a file which contain many lines see below.
"/var/www/abc>"
I want to remove Both of these values
"" and > (5 Replies)
Discussion started by: aliahsan81
5 Replies
6. Shell Programming and Scripting
I have a file with a lot of numbers in it and I need to clean it up and make it look nice and proper. I found this little gem of a one-liner and basically understand what it is doing but I would like to further understand what each part of the command is doing. Being a newb, I am just trying to... (2 Replies)
Discussion started by: genedc1
2 Replies
7. Programming
Hi all
In input file I have records like this:
0,1,0,87,0,0,"6,87","170,03",0,"43,5",0,0,0,0,"6,87","126,53"and in output file I need that these records transforms in :
0 1 0 87 0 0 6,87 170,03 0 43,5 0 0 0 0 6,87 126,53
Could you help me in this case? Please (3 Replies)
Discussion started by: shizik
3 Replies
8. Shell Programming and Scripting
Hi
i am stuck with a very silly problem :mad:
below is my code
echo 201010_1212_121.xml
i need to replace xml with csv so i did
echo 201010_1212_121.xml | sed 's/.*\.xml/.*\.csv/'
echo 201010_1212_121.xml | sed 's/*.xml/*.csv/'
echo 201010_1212_121.xml |... (4 Replies)
Discussion started by: aishsimplesweet
4 Replies
9. UNIX for Dummies Questions & Answers
Hi Folks,
I want to replace these numbers with words as the following:
$echo 1 11 223
I want to replace each number with it name (e.g. "1" replaced with "one", etc.) just to determine how sed works in such case. Thanks in advance:).
Leo (8 Replies)
Discussion started by: leo_ultra_leo
8 Replies
10. UNIX for Dummies Questions & Answers
I don't know if you guys get this problem sometimes at Terminal but I had been having this problem since yesterday :( Maybe I overdid the Terminal. Even the codes that used to work doesn't work anymore.
Here is what 's happening:
* I wanted to remove lines containing digits so I used this... (25 Replies)
Discussion started by: Nexeu
25 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)