7 More Discussions You Might Find Interesting
1. UNIX for Dummies Questions & Answers
Hiya Everybody just joined,
Not sure if this is the right section:o
I require abit of an assistance with IPC!
I know there are different types of IPC porcesses like signals, semaphores, mutexes, shared memory, message queues, pipes and sockets.
Now say a system has a number of... (4 Replies)
Discussion started by: G.I.Joe
4 Replies
2. Cybersecurity
Hey GUys,
Once again I run in to problem and I am here for ur help.
I have two sun(solaris) box on company LAN.
One Unix Box is behind the firewall and the other one is Outside the firewall. The thing i need to do is
remote display a graphic on Unix box outside the firewall to the Unixbox... (5 Replies)
Discussion started by: ajnabi
5 Replies
3. HP-UX
HI ALL,
I have been trying to install a particular software using remote linux server.
some thing like this:
rsh <host ID> /usr/sbin/swinstall -x autoreboot=true -s /tmp/<software> <Product name>.
The problem is whenever I try to install the product through a shell script the installation... (1 Reply)
Discussion started by: barun agarwal
1 Replies
4. Solaris
Hi,
Can anyone suggest a Unix command or c-shell algorithm to simulate to behavior of "wall" command minus the "all users"? What I'm trying to do is to send a notice to just one particular user but i dont want other remotely-logged-on users to receive the message (on the pseudo-terminals). I... (3 Replies)
Discussion started by: Deanne
3 Replies
5. HP-UX
Hi All,
Hoping that you'll be able to help out on - I've a problem occuring in our backups that's driving me up the wall.
I've got an HP-UX Visualise 6500 as below:
================================
root # uname -a
HP-UX <NAME> B.11.00 A 9000/785 2005956095 two-user license... (2 Replies)
Discussion started by: geralex
2 Replies
6. UNIX for Dummies Questions & Answers
This isn't really a unix question, or even a programming question, but I hope you guys can help. I want to create a program to control the electricity on a model railway.
I have created the program to that it sends characters over the serial cable, but now I need to do the switch that will... (1 Reply)
Discussion started by: KrazyGuyPaul
1 Replies
7. Programming
Need help for RS232 communication with switches in order to optimise the data traffic. How to manipulate different flags in termios struct to do the same? (1 Reply)
Discussion started by: ManishSaxena
1 Replies
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)