08-08-2008
Thank you
Thank you all for helping me out mine was a just logic problem
10 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
I am trying to take input from a file and direct it into a bash script. This script is meant to be a foreach loop. I would like the script to process each item in the list one by one and direct the output to a file.
# cat 1loop
#!/bin/bash
# this 2>&1 to redirect STDERR & STDOUT to file... (4 Replies)
Discussion started by: bash_in_my_head
4 Replies
2. Solaris
Hi All,
I wrote one simple for loop shell script which prints number..but this loop is infinite...but its taking lot of CPU (15.7) %. if i am using sleep cmd then cpu usage become 0.4 %. Is there anyway to reduce this CPU usage without using sleep cmd?
i dont want 2 use sleep cmd... (7 Replies)
Discussion started by: pa.chidhambaram
7 Replies
3. Shell Programming and Scripting
I'm new from UNIX scripting. Please help.
I have about 10,000 files from the $ROOTDIR/scp/inbox/string1 directory to compare with the 50 files from /$ROOTDIR/output/tma/pnt/bad/string1/ directory and it takes about 2 hours plus to complete the for loop. Is there a better way to re-write the... (5 Replies)
Discussion started by: hanie123
5 Replies
4. UNIX for Advanced & Expert Users
I'd like to
1. Check and compare the 10,000 pnt files contains single record from the /$ROOTDIR/scp/inbox/string1 directory against 39 bad pnt files from the /$ROOTDIR/output/tma/pnt/bad/string1 directory based on the fam_id column value start at position 38 to 47 from the record below. Here is... (1 Reply)
Discussion started by: hanie123
1 Replies
5. Shell Programming and Scripting
Gurus,
I need to read a line from a file and strip the characters from it and compare the stripped value with the value I pass to the script while executing it. Below is the code for the same. But when i execute the code, it is throwing an error.
#!/bin/ksh
. /home/.i_env
... (14 Replies)
Discussion started by: svajhala
14 Replies
6. Shell Programming and Scripting
Hi,
Could you please tell what is the meaning of -z in while loop condition.
For example,
while ; do
echo "*** Enter the age "
readage (3 Replies)
Discussion started by: vidyaj
3 Replies
7. Shell Programming and Scripting
How do I go about amending this simple script that prompts for a yes/no response so that if neither Y or N are entered it will loop back back to the original prompt
#!/bin/ksh
echo "Enter yes of no"
read answer
if
then
echo "You selected yes"
elif
then
echo "You selected no"
elif... (5 Replies)
Discussion started by: gmears
5 Replies
8. Shell Programming and Scripting
I have below files under dir_a and dir_b and i want to sort out number of dir_a and dir_b files seperately and if i do the grep it should retrun 2 files in dir_a and 1 file in dir_b.
/dir_a/12345678
/dir_a/87654321
/dir_a/dir_b/12345687
But i am getting cat file|grep dir_a|wc -l
3... (6 Replies)
Discussion started by: prash358
6 Replies
9. Shell Programming and Scripting
while read myhosts
do
while read discovered
do
echo "$discovered"
done < $LOGFILE | grep -Pi "|" | egrep... (7 Replies)
Discussion started by: SkySmart
7 Replies
10. Shell Programming and Scripting
Hi,
I am new to unix/linux scripting.
I have a text file, listlib.txt where the content:
lib1_23
lib34_a
ab_li_lab
I need to generate a file (.log) of each cell. I am planning to create a (.csh) script that will have for loop with variable taken from listlib.txt. As for now, i have no... (4 Replies)
Discussion started by: mmaz
4 Replies
LEARN ABOUT DEBIAN
formed
FORMED(1) General Commands Manual FORMED(1)
NAME
formed - formula editor for first-order logic formulas
SYNOPSIS
formed [options]
DESCRIPTION
This manual page documents briefly the formed command.
formed is a window-based program for constructing, displaying, and managing first-order logic formulas. The main motivation for construct-
ing formed was the desire to have formulas displayed in a readable, two-dimensional format. Users of formed can make two kinds of transfor-
mation on formulas: (1) logic transformations, such as negation normal form translation, which preserve the meaning of a formula, and (2)
edit transformations, which can be used to make arbitrary changes, such as adding a hypothesis to a subformula. formed was written by using
the X Window System, Version 11, and code from the theorem prover otter.
OPTIONS
A summary of options is included below.
-l filename
Load formulas in the specified file during startup. Formulas can also be loaded after startup with the button Load in the main menu.
-f color
Use the named color for the foreground on color monitors (ignored on black-and-white monitors).
-b color
Use the named color for the background on color monitors (ignored on black-and-white monitors).
SEE ALSO
anldp(1), mace2(1), otter(1).
``FormEd: An X Window System application for managing first-order formulas'' (McCune et al.), available from http://www.osti.gov/energyci-
tations/servlets/purl/6427100-WtOa4g/6427100.PDF
AUTHOR
formed ws written by William McCune <otter@mcs.anl.gov>
This manual page was written by Peter Collingbourne <pcc03@doc.ic.ac.uk>, for the Debian project (but may be used by others).
November 5, 2006 FORMED(1)