11-20-2015
As much as I would like to help, I can't as I don't understand what you want. Show meticulously what input becomes what output and describe the algorithm/logics/reasoning behind it.
This User Gave Thanks to RudiC For This Post:
10 More Discussions You Might Find Interesting
1. UNIX for Dummies Questions & Answers
i have a file myfile. it has the below entries
/temp/firstfile
/temp/secondfile
and many more..
okay, now, i want to addup all the space occupied by this file
hmmm, but i met with a problem in getting each file out.
i did a silly command like more myfile | grep temp | ls -ltr
and it... (3 Replies)
Discussion started by: yls177
3 Replies
2. UNIX for Dummies Questions & Answers
hello,
I have written a script named listall.sh with the following codes init.
#!/bin/bash
PATH="/proj/cmon/$1"
echo $PATH
if ; then
echo "Usage: $0 ***"
exit 1
else
ls -l $PATH/*.sc
fi
Here there are 3 subdirectories (namely - src, data and jobs)under /proj/cmon, so... (2 Replies)
Discussion started by: shyjuezy
2 Replies
3. Shell Programming and Scripting
Hi All,
I need to create a file which contains the list of all the files present in that directory.
e.g.,
ls /export/home/user/*.dat > list_file.dat
but what i am getting is:
$ ls /export/home/user/*.dat > list_file.dat
/export/home/user/*.dat: No such file or directory
But I have... (1 Reply)
Discussion started by: pranavagarwal
1 Replies
4. Shell Programming and Scripting
hi. I need help my programing friends :p
I need to list all the files with a certain name (for example FileName) by last modification date but only the one with the last date. If there are two files with the same name and same modification date it should print the both.
For example in this set... (6 Replies)
Discussion started by: KitFisto
6 Replies
5. Shell Programming and Scripting
Hello Can you please help and check what im missing on script below
the goal is to delete the old files more than 7 days old but not the excluded file list inside excluded.dat file
#!/bin/sh
EXCLUDE=/path/to/exclude/exclude.dat
FIND=/bin/find
for xfile in '(read $EXCLUDE)'
do
$FIND... (9 Replies)
Discussion started by: angst_nu
9 Replies
6. Shell Programming and Scripting
I have a file 1.txt with the below contents.
-----cat 1.txt-----
1234
5678
1256
1234
1247
-------------------
I have 3 more files in a folder
-----ls -lrt-------
A1.txt
A2.txt
A3.txt
-------------------
The contents of those three files are similar format with different data values... (8 Replies)
Discussion started by: realspirituals
8 Replies
7. Shell Programming and Scripting
Hi,
Greetings!!
I'm grepping a string from a series of files, using the below code (how ever the awk is not grepping between 'from' & 'to' time!)
awk '$0>=$from&&$0<=$to' from=$START_TIME to=$STOP_TIME $logpath/UL_`date +%Y%m%d`_Scheduler*.log.csv > temp-grep.txt
Out of 50 files,... (9 Replies)
Discussion started by: bhargav_k
9 Replies
8. Shell Programming and Scripting
I have a first text file (LoopFiles.txt) that contains another list of text files. I need to run NAWK commands on each of the files that are listed in the first text file.
I have proven the existence of the first file with ls -l
But I get a message that my first file doesnt exist.
cd... (5 Replies)
Discussion started by: he204035
5 Replies
9. Shell Programming and Scripting
Hi All,
I need to find all files other than first two files dates & last file date for month and month/year wise list.
lets say there are following files in directory
Mar 19 2012 c.txt
Mar 19 2012 cc.txt
Mar 21 2012 d.txt
Mar 22 2012 f.txt
Mar 24 2012 h.txt
Mar 25 2012 w.txt
Feb 12... (2 Replies)
Discussion started by: Makarand Dodmis
2 Replies
10. Shell Programming and Scripting
Hi, I have a control file which will contain all filenames(300) files. Loop through all the file names in the control files and check the existence of this file in another directory(same server). I need to infinitely(2 hrs) run this while loop until all the files are found. Once a file is found,... (5 Replies)
Discussion started by: laknar
5 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)