Good Day,
Im new to scripting especially awk and sed. I just would like to ask help from you guys about a sed command that prints the line immediately after a regexp, but not the line containing the regexp.
sed -n '/regexp/{n;p;}' filename
What if my regexp is 3 word or a sentence. Im... (3 Replies)
Hi,
I would like to know how to solve one of my problems using expert unix commands.
I have a file with occasional blank lines;
for example;
dertu
frthu
fghtu
frtty
frtgy
frgtui
frgtu
ghrye
frhutp
frjuf
I need to edit the file so that the file looks like this; (10 Replies)
I am on a Solaris 10 x86 system
sample code
before3
before2
before1
group
after1
after2
after3
I want to grab the second line above my regexp
regexp=group
I want to grab ONLY the before2 line
I have numerous sed and awk ways of grabbing X line below the regexp, but no luck... (1 Reply)
Dear all,
I'm a new guy in Linux scripting. Basically, I have no idea on how to write a script.
Now, I have a problem in preparing my gaussian inputs.
For example, I have a file like this
File name: input.gjf
H 1.418400 1.180500 -1.247900
H -1.894500 1.628800 -0.000200
Product
H... (7 Replies)
Hi all,
This should be very easy but I can't figure it out...
I have a file that looks like this:
@SRR057408.1 FW8Y5CK02R652T length=34
AGCAGTGGTATCAACGCAGAGTAAGCAGTGGTAT
+SRR057408.1 FW8Y5CK02R652T length=34
FIIHFF6666?=:88@@@BBD:::?@ABBAAA>8
@SRR057408.2 FW8Y5CK02TBMHV length=52... (1 Reply)
All I want is to look for the pattern in the file...If I found it at # places... I want print lines after those pattern(line) until I find a blank line.
Log EXAMPLE :
MT:Exception caught
The following Numbers were affected:
1234
2345
2346
Error
java.lang.InternalError:... (3 Replies)
Hi All
I'm trying to extract the line just above a regexp and all lines after this.
I'm currently doing this in two steps
sed -n -e "/^+---/{g;p;}" -e h oldfile.txt > modified.txt
sed -e "1,/^+---/d" -e "/^$/d" oldfile.txt >>modified.txt
Sample
sometext will be here
sometext will be... (3 Replies)
Dear all
I want to search special string in file and then print next all line in one line until blank lines come. Help me plz for same. My input file and desire op file is as under.
i/p file:
A1/EXT "BSCABD1_21233G1" 757 130823 1157
RADIO X-CEIVER ADMINISTRATION
BTS EXTERNAL FAULT
... (7 Replies)
I'm looking for a way to print the 4th line back from a regular expression. Kind of like the below but it has to be the 4th line before the regexp.
Print the line immediately before regexp, but not the line containing the regexp.
sed -n '/regexp/{g;1!p;};h'
here is an example of logs(i... (11 Replies)
Hi All,
I need to print the characters in the previous line just before the regular expression match
Please have a look at the input file as attached
I need to match the regular expression ^ with the character of the previous like and also the pin numbers
and the output file should be like... (6 Replies)
Discussion started by: kshitij
6 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)