02-29-2008
Re: String manipulation problem
RESULT_STR=`awk -F":" '{printf $2 " | "}' $LOG_FILE`
10 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
Hello,
I have a korn shell string variable
str1 = "A,B,Z"
I would like to create another korn shell string variable
str2 = "letter = 'A' or letter = 'B' or letter = 'Z' "
Please help!
Thanks in advance
an UNIX newbie! (13 Replies)
Discussion started by: hai1973
13 Replies
2. Shell Programming and Scripting
Hi, I have searched this long and hard and don't seem to see another post on this issue.
I have two strings each with the same characters but in a different order.
String1=”word”
String2=”dwor”
I want to test them to show their similarity. Unfortunately I can't do a sort so that they will... (9 Replies)
Discussion started by: Cactus Jack
9 Replies
3. Shell Programming and Scripting
Hi,
i am just gettin exposed to UNIX.
Could anyone of u help me out with dis problem..?
i have a variable 'act' which has the value as follows,
echo $act gives -0- -0- -----0---- 2008-06-04 -0- -0-
echo "$act" | awk '{print ($act)}'
gives,
-0-
-0-
-----0----
2008-06-04
-0-
-0-
I... (2 Replies)
Discussion started by: jerrynimrod
2 Replies
4. Shell Programming and Scripting
First of all I am VERY new to this so bare with me and try and explain everything even if it seems simple.
Basically I want to read a line of text from a html file. See if the line of text has a certain string in it. copy an unknown number of characters (the last 4 characters wiil be ".jpg" the... (1 Reply)
Discussion started by: c3lica
1 Replies
5. Shell Programming and Scripting
Hi all, see i have a script that takes few arguments. first one is command we do on file, next is file (mostly txt file with lot of data) third is destination where we do something with data in file. Since im new in scripting, and im learning as i go, i need some hint how to manipulate that... (3 Replies)
Discussion started by: ajemrunner
3 Replies
6. Shell Programming and Scripting
if I have two string variable, how do I add one to anther.
like
a= "a"
b="b"
c=$a+$b
but that doesn't work.
Is there anyway to solve it.http://www.qtl.co.il/img/copy.pnghttp://www.google.com/favicon.icohttp://www.babylon.com/favicon.icohttp://www.morfix.com/favicon.ico (2 Replies)
Discussion started by: programAngel
2 Replies
7. UNIX for Dummies Questions & Answers
Dear All,
I have a question.
I have files with the following pattern.>S8_SK1.chr01
NNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNN
NNNNNNNNNNNNNNNNNNNCAGCATGCAATAAGGTGACATAGATATACCCACACACCACACCCTAACACTAACCCTAATCTAACCCTGGCCAACCTGTTT... (13 Replies)
Discussion started by: pawannoel
13 Replies
8. Shell Programming and Scripting
i have something like this...
echo "teCertificateId" | awk -F'Id' '{ print $1 }' | awk -F'te' '{ print $2 }'
Certifica
the awk should remove 'te' only if it is present at the start of the string.. anywhere else it should ignore it.
expected output is
Certificate (7 Replies)
Discussion started by: vivek d r
7 Replies
9. Shell Programming and Scripting
Hi ,
I am getting a string like
aaa,bbb,sdsdad,sdfsdf,sdfsdfdsf,rtyrtyr,45654654,ddfdfdfgdfg,dfgdfgdg...........
Now what I need is to format it.
So after each nth comma I need one newline. So the above will look like
when n=3
aaa,bbb,sdsdad,
sdfsdf,sdfsdfdsf,rtyrtyr,... (4 Replies)
Discussion started by: Anupam_Halder
4 Replies
10. Shell Programming and Scripting
I'm making a little game in Perl, and I am trying to remove the first instance of a character in an arbitrary string. For example, if the string is
"cupcakes"and the user enters another string that contains letters from "cupcake" e.g:
"sake"the original string will now look like this (below)... (3 Replies)
Discussion started by: whyte_rhyno
3 Replies
LEARN ABOUT DEBIAN
checker
checker(1) General Commands Manual checker(1)
NAME
checker - SPARK Proof Checker
SYNOPSIS
checker [OPTIONS] [FILE]
DESCRIPTION
The SPARK Proof Checker can be used to discharge verification conditions produced by the Examiner (*.vcg), possibly simplified by the Sim-
plifier (*.siv). This command is usually used when verification conditions cannot be discharged automatically by the Simplifier.
By default checker runs in interactive mode. It accepts commands from user and writes them into a cmd file (or other file specified by
-command_log option). This file can be used later to run checker in batch mode (using option -execute). Additionally, proof log is writ-
ten into a plg file.
OPTIONS
A summary of options is included below. All options may be abbreviated to the shortest unique prefix.
-help Show summary of options.
-version
Display version information.
-plain Adopt a plain output style (e.g. no dates or version numbers).
-overwrite_warning
Confirmation needed to overwrite command or proof log files.
-command_log=LOG_FILE
Specify file name for the command log file.
-proof_log=PLG_FILE
Specify file name for the proof log file.
-execute=LOG_FILE
Execute a previously generated command log file.
-resume
Resume a previously saved session.
FILES
/usr/share/spark/checker/rules/*
Checker rules database.
SEE ALSO
spark(1), sparksimp(1), spadesimp(1), pogs(1).
AUTHOR
This manual page was written by Eugeniy Meshcheryakov <eugen@debian.org>, for the Debian project (and may be used by others).
3 June 2011 checker(1)