07-31-2008
what io's? please tell more about your problem and what you want to do...
10 More Discussions You Might Find Interesting
1. UNIX for Dummies Questions & Answers
OS - Sun OS7
What sources can I go to to figure out what is the maximun number of processes for OS7 with 2GB of memory.
I believe it is 64K processes, but this number reflects resources being swaped.
Any help is appreciated
SmartJuniorUnix (1 Reply)
Discussion started by: SmartJuniorUnix
1 Replies
2. Shell Programming and Scripting
Hi All,
what is the maximum limit for the command line arguments in korn shell.
Regards,
Raju (4 Replies)
Discussion started by: rajus19
4 Replies
3. Solaris
Hi,
Anyone can help ?
I have 21,000 sub-folder under the main folder .
Now are having some problem writing .
Is there a max no. of sub-folder can be create under Solaris .
If yes ,what is the max no. , can it be configure to increase ?
Thanks (4 Replies)
Discussion started by: civic2005
4 Replies
4. Shell Programming and Scripting
Hi, i have a file with numbers in it and i was wondering if there's a script i could use to find the max number and have that printed to a new file?
example a.txt
18
26
47
34
27
so find the max number in a.txt and print it to b.txt.
Thanks! (17 Replies)
Discussion started by: moonbaby
17 Replies
5. Linux
Hello all,
I'm looking to implement a Linux server that will host up to 60 simultaneous X sessions, all running firefox to a secured web interface.
Does anyone have any experience sizing a system like this?
The reason for the setup isn't as important (Since I really don't understand why... (1 Reply)
Discussion started by: ZekesGarage
1 Replies
6. Shell Programming and Scripting
Is there a simple way of calculating the max number in a set of variables, so
a=1
b=3
c=6
d=30
something that says
e=max($a, $b, $c, $d)
I've found a way to do it using:
a="1"
b="3"
c="5"
d="50"
if ;
then
t=$a
else (3 Replies)
Discussion started by: unclecameron
3 Replies
7. Shell Programming and Scripting
Hi Folks.Just out of interest does anyone know if their is a maximum number of variables that korn shell supports and if so how do I query what it is?Cheers (1 Reply)
Discussion started by: steadyonabix
1 Replies
8. Solaris
Hi,
I was wondering, whether there is a limit regarding the max number of nfs mounts in
Oracle Solaris 10 (newest update).
The data center plans to migrate from a fibre channel based storage environment (hitachi) to a nfs based storage environment (netapp). Regarding the Solaris 10 database... (1 Reply)
Discussion started by: schms
1 Replies
9. IP Networking
Hello,
I wanna test max tcp connection value. Please suggest how to do that. Thanks. (2 Replies)
Discussion started by: gstoychev
2 Replies
10. Shell Programming and Scripting
Is it possible to print max number of 2 columns - awk
note: print max if the integer is positive and print min if the integer is negative
input
a 1 2
b 3 4
c 5 1
d -3 -5
d -5 -3
output
a 2
b 4
c 5
d -5
d -5 (4 Replies)
Discussion started by: quincyjones
4 Replies
LEARN ABOUT DEBIAN
dfg2tptp
DFG2TPTP(1) SPASS DFG2TPTP(1)
NAME
dfg2tptp - transforms DFG files into TPTP files
SYNOPSIS
dfg2tptp <input-file> <output-file>
DESCRIPTION
dfg2tptp is a program which converts a problem input file in DFG format into a problem input file in TPTP format. The TPTP problem format
is used by the TPTP library of test problems for automated theorem proving, available at http://www.math.miami.edu/~tptp/. Various tools
exist to convert problems in TPTP format into input files for other theorem provers.
SEE ALSO
checkstat(1), filestat(1), pcs(1), pgen(1), rescmp(1), tpform(1), tpget(1), deprose(1), dfg2otter(1), SPASS(1)
AUTHORS
Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach
Contact : spass@mpi-inf.mpg.de
perl v5.10.0 2010-02-23 DFG2TPTP(1)