08-15-2010
10 More Discussions You Might Find Interesting
1. Solaris
Hi,
I have replaced my current Intel PC machine with Solaris 10, it use to have windows XP.
I am sure alot of people already done this and i have seen Solaris running smoothly but having keyboard problem.
What is the equal keys in a QWERTY keyboard for selection <Stop+A> ?
Is there a... (5 Replies)
Discussion started by: tlee
5 Replies
2. Shell Programming and Scripting
I have the following line to text:
ExecuteQueue Name=default ThreadCount=60
I want to write a sed or awk function that eliminates everything before "ThreadCount" without taking into account what is actually in front of ThreadCount. Meaning there may be text in front of "ThreadCount" other... (6 Replies)
Discussion started by: ArterialTool
6 Replies
3. Shell Programming and Scripting
Hi,
I have the below script executed
arg="dir"
if "$arg" = "dir"
then
echo "true"
else
echo "false"
fi
Please let me know what happens in the if command.
My output is:
dir: dir: No such file or directory
false
which is not the desired output.
When i used test command... (1 Reply)
Discussion started by: anijan
1 Replies
4. Shell Programming and Scripting
Does anybody understand why this is not being interpreted as true.
Script:
#!/bin/bash
errored=`grep "errored" new_update_scripts.txt`
echo $errored = "errored"
if ; then
echo true
else
echo false
fi
Output:
$ UpdateScripts
errored = errored
false (7 Replies)
Discussion started by: scottwmackey
7 Replies
5. Shell Programming and Scripting
while + and equal to zero ; then
what to punt instead of phrase and equal to zero.
it's bash
thank you in advance (1 Reply)
Discussion started by: losh
1 Replies
6. Shell Programming and Scripting
Guys,
I am trying to do below operation
LAST_TRANSACTION=2
if ]; then
# do something
fi
If the LAST_TRANSACTION variable is not equal to 1 or 2 or 3 then code inside the if block should be execute.
This code is not working, Any help is appreciated. (7 Replies)
Discussion started by: gowrishankar05
7 Replies
7. Shell Programming and Scripting
Hi all
I have this script that i have written in some logging for but i do not want it to log for all option, i have used Getopt::Long 2.11 to allow differnt switches but i only want logging on one type of switch
this is my code but it does not like the ne (not equals)
i do not wnat the... (7 Replies)
Discussion started by: ab52
7 Replies
8. 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
9. UNIX for Dummies Questions & Answers
Hi there can anyone help me please. I want to make a program to check if the executable file specified by the user exists in the directory.
When I run this program particulary these lines of code does not work:
if ("$fi" == "$name") then where It checks whether the specified file is equal to the... (1 Reply)
Discussion started by: FUTURE_EINSTEIN
1 Replies
10. UNIX for Advanced & Expert Users
Did I do something wrong with this awk not equal? For some reason it prints twice.
>awk '{if ($4 != "root") print $1 " " $4 " " $5}' ls_test
server10: njs nodeadm
server10: njs nodeadm
>grep server10 ls_test
server10: drwxr-sr-x. 18 njs nodeadm 4096 Aug 16 09:42 /opt
> (2 Replies)
Discussion started by: cokedude
2 Replies
LEARN ABOUT DEBIAN
picosat
PICOSAT(1) General Commands Manual PICOSAT(1)
NAME
picosat - SAT solver with proof and core support
SYNOPSIS
picosat [options] input-file
DESCRIPTION
This manual page documents briefly the picosat command.
picosat is a SAT solver with proof and core capabilities. Use the picosat.trace binary to actually use these capabilities (these incur some
overhead).
OPTIONS
-h Show summary of options.
--version
print version and exit
--config
print build configuration and exit
-v enable verbose output
-f ignore invalid header
-n do not print satisfying assignment
-p print formula in DIMACS format and exit
-i <0/1>
force FALSE respectively TRUE as default phase
-a <lit>
start with an assumption
-l <limit>
set decision limit
-s <seed>
set random number generator seed
-o <output>
set output file
-t <trace>
generate compact proof trace file (use picosat.trace, see above).
-T <trace>
generate extended proof trace file (use picosat.trace, see above).
-r <trace>
generate reverse unit propagation proof file (use picosat.trace, see above).
-c <core>
generate clausal core file in DIMACS format (use picosat.trace, see above).
-V <core>
generate file listing core variables
-U <core>
generate file listing used variables
AUTHOR
picosat was written by Armin Biere <biere@jku.at>.
This manual page was written by Michael Tautschnig <mt@debian.org>, for the Debian project (but may be used by others).
February 5, 2010 PICOSAT(1)