hi all,
in my server there are some specific application files which are spread through out the server... these are spread in folders..sub-folders..chid folders...
please help me, how can i find the total size of these specific files in the server... (3 Replies)
Hi,
Could anyone help me to solve this problem?
I have two files "f1" and "f2" having 2 fields in each, a) file size and b) file name. The data are almost same in both the files except for few and new additional lines. Now, I have to find out and print the output as, the difference in the... (3 Replies)
hi,
Please help me to write a command to delete duplicate lines from a file. And the size of file is 50 MB. How to remove duplicate lins from such a big file. (6 Replies)
Hi !
I wonder if anyone can help on this : I have a directory: /xyz that has the following files:
chsLog.107.20130603.gz
chsLog.115.20130603
chsLog.111.20130603.gz
chsLog.107.20130603
chsLog.115.20130603.gz
As you ca see there are two files that are the same but only with a minor... (10 Replies)
Hi champs,
I have one of the requirement, where I need to compare two files line by line and ignore duplicates. Note, I hav files in sorted order.
I have tried using the comm command, but its not working for my scenario.
Input file1
srv1..development..employee..empname,empid,empdesg... (1 Reply)
Hello,
I have a huge directory (with millions of files) and need to find out duplicates based on BOTH file name and File size.
I know fdupes but it calculates MD5 which is very time-consuming and especially it takes forever as I have millions of files.
Can anyone please suggest a script or... (7 Replies)
Discussion started by: prvnrk
7 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)