Cannot figure out what the error is on line #10
I was trying to change my login prompt though I've success with that this shows up as well.
Here's what I have (1 Reply)
Hi,
echo $i
until ||
do
read NUM
if && ; then
printf "$FBOLD\nInvalid number, please enter valid backup number: $FREG"
fi
done
Getting below error :
./import_location.sh: line 234: [: : integer expression expected
./import_location.sh: line 234: [: :... (5 Replies)
CA_RELEASE has a value of 6. I need to check if that this is a numeric value. if not error.
source $CA_VERSION_DATA
if * ]
then
echo "CA_RELESE $CA_RELEASE is invalid"
exit -1
fi
+ source /etc/ncgl/ca_version_data
++ CA_PRODUCT_ID=samxts
++ CA_RELEASE=6
++ CA_WEEK_NO=7
++... (3 Replies)
Ok, so I am beggining a script to factor the time difference from when a user logs on to current time but before I can even get too far I am getting the INTEGER EXPRESSION EXPECTED error. Can someone tell me what I am doing wrong?
lhour=$(who | grep "$1" | cut -c30,31);
lmin=$(who | grep "$1"... (1 Reply)
Newb here
echo "$yesterdaysclose"
echo "$close"
if ; then
echo "stocks moving up"
elif ; then
echo "stock is moving down"
else
echo "no change"
fi
seems to evaluate the floating decimal correctly however returns
./shellscript1.sh: line 17: [: : integer expression expected... (3 Replies)
hi Guys,
when i run the below script its showing error "integer expression expected"
script pasted below:
#!/bin/sh
for i in {1..$2}
do
if
then
scp server1:/root/file.2012-$1-0$i .
else
scp server1:/root/file.2012-$1-$i .
fi
done (8 Replies)
Hi,
I have placed the script and running successfully on AIX
However in Linux it throws integer expression expected
Could some one please help me to fix this
MaxThreshold4alert=`echo "$MaxCapacitycnt*(80/100)" |bc -l`
echo $MaxThreshold4alert
Error:
40.00000000000000000000: integer... (2 Replies)
Hi,
I am getting the below error while comparing the month of a file to current month.
I am using ls -lrth to get the month of that file and while using the if else condition i am getting the below error..
a1=`ls -lrth abc.txt | awk '{print substr($6,1,3)}'`
This gives me the month from... (1 Reply)
Hello ,
This is the piece of the code which is giving me trouble
if ;then
exit_proc "${SOURCEDIR}/${OUT_FILE} does not exists or not readable" 2
else
word_count=`wc -l < ${SOURCEDIR}/$OUT_FILE`
fi
if ;then
exit_proc "Word_count is more than allowed limit" 1
else... (6 Replies)
Discussion started by: Sri3001
6 Replies
LEARN ABOUT DEBIAN
dfg2dfg
DFG2DFG(1) SPASS DFG2DFG(1)NAME
dfg2dfg - calculate approximations of problems
SYNOPSIS
dfg2dfg [-horn] [-monadic] [-linear] [-shallow] [infile] [outfile]
DESCRIPTION
dfg2dfg is a program that reads clauses from an input file in DFG syntax. It then calculates an approximation of the clause set depending
on the command line options. Finally it writes the approximated clause set in DFG syntax to a file.
If neither infile nor outfile are given, dfg2dfg reads from standard input and writes to standard output. If one file name is given, it
reads from that file and writes the output to standard output. If more than one file name is given, dfg2dfg reads from the first file and
writes to the second.
The approximations are described in technical detail in the separate paper dfg2dfg.ps included in the SPASS distribution.
OPTIONS
dfg2dfg has four different command line options that may be combined.
-horn
This option enables the transformation of non-horn clauses into horn clauses. Each non-horn clause with n positive literals is
transformed into n horn clauses, where the i-th clause contains the i-th positive literal and all negative literals of the non-horn
clause. See also section 3 of the paper.
-monadic[=n]
With this option atoms with non-monadic predicate symbols are transformed into monadic atoms. If n is omitted or n=1 a term encoding
is applied, i.e., all non-monadic predicates are moved to the term level. With n=2 a projection is applied. All non-monadic atoms are
replaced by their monadic argument projections. See section 4.1 section 4.2 of the paper for more details.
-linear
This approximation transforms a clause with monadic literals and non-linear variable occurrences in succedent atoms, into a new clause
with possibly more negative literals, that doesn't contain any non-linear variables in the succedent. See section 5 of the paper for
details.
-shallow[=n]
This transformation tries to reduce the depth of the terms in positive literals. The transformation is applied to horn clauses with
monadic literals only. If n is omitted or n=1 a strict transformation is applied, that is equivalence preserving, however. For n=2
some preconditions are removed. This allows the transformation to be applied more often, but the transformation isn't equivalence
preserving any more. For n=3 even more preconditions are removed. Take a look at section 6.n of the paper for the details of the
command line option -monadic=n.
SEE ALSO SPASS(1)AUTHORS
Enno Keen
Contact : spass@mpi-inf.mpg.de
perl v5.10.0 2010-02-23 DFG2DFG(1)