Hi Friends,
Below is my requirement and i am not clear how to approach this issue in unix programming.
I have a folder with 2500 files. The files are in below format.
1234_name1.txt
1234_name123.txt
4567_name1.txt
4567_name123.txt
and i need a program which will read each file from this... (5 Replies)
I want to move the files in a dir to different dirs based on their file names.
Ex: i have 4 different files with name -
CTS_NONE_10476031_MRL_PFT20081215a.txt
CTS_NONE_10633009_MRL_PFT20091020a.txt
CTS_NONE_10345673_MRL_PFT20081215a.txt
CTS_NONE_10872456_MRL_PFT20091020a.txt
and the 1st... (2 Replies)
I want to move the files in a dir to different dirs based on their file names.
Ex: i have 4 different files with name -
CTS_NONE_10476031_MRL_PFT20081215a.txt
CTS_NONE_10633009_MRL_PFT20091020a.txt
CTS_NONE_10345673_MRL_PFT20081215a.txt
CTS_NONE_10872456_MRL_PFT20091020a.txt
and the 1st... (4 Replies)
Hi All
I need a script to manipulate files based on a filename:
example filename: 66600_042706.pdf
the script will create a directory 66000 only if this directory is not existing. If that directory is existing it will just move the file to 66000/666000_042706.pdf
in addition, i want to... (4 Replies)
I know this gets covered quite a bit in the forum and I think there is enough there for me to figure out how to do what I am trying to do, I just don't think I would do it very efficiently so I am going to ask the question...
I have database log files with date and time stamps in the file like
... (7 Replies)
Move all files starting with a specific name to different directory.
This shell script program should have three parameters
File Name
Source Directory
Destination Directory
User should be able to enter ‘AB_CD*' in file name parameter. In this case all the files starting with AB_CD will... (1 Reply)
Hi All,
I want to move the files in to different folders based on the files month in the file timestamp.
For example
All the september files in the directory should moves into the folder "sep_bkp_files" , August files in to aug_bkp_files folder...
Please help me to achive the above... (10 Replies)
Dear Experts
my scenario is as follows...
I have one source folder "Source" and 2 target folders "Target_123456" & "Target_789101". I have 2 series of files. 123456 series and 789101 series. Each series has got 3 types of fiels "Debit", "Refund", "Claims".
All files are getting... (17 Replies)
Discussion started by: phani333
17 Replies
LEARN ABOUT DEBIAN
coqchk
COQ(1) General Commands Manual COQ(1)NAME
coqchk - The Coq Proof Assistant compiled libraries verifier
SYNOPSIS
coqchk [ options ] files-or-modules
DESCRIPTION
coqchk is the standalone checker of compiled libraries (.vo files produced by coqc) for the Coq Proof Assistant. See the Reference Manual
for more information. It returns with exit code 0 if all the requested tasks succeeded. A non-zero return code means that something went
wrong: some library was not found, corrupted content, type-checking failure, etc.
files-or-modules is a list of modules to be checked. Modules can be referred to either by a filename (without the .vo suffix) or by their
(possibly qualified) module name.
OPTIONS -I dir, --include dir
add directory dir in the include path
-R dir coqdir
recursively map physical dir to logical coqdir
-where print Coq's standard library location and exit
-silent
makes coqchk less verbose.
-admit file-or-module
tag the specified module and all its dependencies as trusted, and will not be rechecked, unless explicitly requested by other
options.
-norec file-or-module
specifies that the given module shall be verified without requesting to check its dependencies
-m, --memory
displays a summary of the memory used by the checker
-o, --output-context
displays a summary of the logical content that have been verified: assumptions and usage of impredicativity
-impredicative-set
allows the checker to verify libraries that have been compiled with this flag.
-v print Coq version and exit
-where print Coq's standard library location and exit
-h, --help
print list of options
SEE ALSO coqtop(1), coqc(1), coq_makefile(1), coqdep(1).
The Coq Reference Manual. The Coq web site: http://coq.inria.fr
February 9, 2009 COQ(1)