08-18-2009
Three answers, three different interpretations of the OP question ...
10 More Discussions You Might Find Interesting
1. UNIX for Dummies Questions & Answers
Hiya,
what is the exact command to add a Unix machine to the existing domain?
Is this command different for Linux/HP-Ux?
thanks (3 Replies)
Discussion started by: Wize
3 Replies
2. Linux
I want to install grace (plotting package; formerly called "xmgr"; also called xmgrace) on a standard PC running Red Hat Linux. I was hoping to find someprecompiled executables, but I only found the complete source files with Makefiles, ".rpm" files, and ".so" files, but I am not experienced enough... (2 Replies)
Discussion started by: karman
2 Replies
3. IP Networking
hi all.
am unable to ping a freebsd machine using fully qualified domain name from a windows machine.
i have already set the fqdn for the machine.
plz advise me.
thanks. (2 Replies)
Discussion started by: coolatt
2 Replies
4. Windows & DOS: Issues & Discussions
Dear Expert,
i have linux box that is running in the windows domain, BUT did not being a member of the domain. as I am not the System Administrator so I have no control on the server in the network, such as modify dns entry , add the linux box in AD and domain record and so on that relevant.
... (2 Replies)
Discussion started by: regmaster
2 Replies
5. Red Hat
Hi All,
URGENT - Please help me form a scipt for this:
I need the LATEST file from a dir on REMOTE machine to be SCP'd to a dir on local machine. (and I need to execute this from local server)
I know that the below cmd is used to find the LATEST file from a dir. But this command is not... (3 Replies)
Discussion started by: me_ub
3 Replies
6. Shell Programming and Scripting
I have written little script to check the CPU performance of the machine.
Request you to contribute your comments on the same.
Feel free to add your own scriptlet to make it better.
I have decided to call it as doctortux
I have decided to run the script in two mode
1)Interactive.(Not... (4 Replies)
Discussion started by: pinga123
4 Replies
7. Solaris
Hi all.
Last year, after registering on Sun support site, I downloaded for free all available documentation (in PDF) and support files of a couple of old Sun workstations (Ultra 5 and Ultra 10).
Now I need the documentation and support files of other old Sun workstations (SPARCstation 20 and... (4 Replies)
Discussion started by: wisechip
4 Replies
8. Shell Programming and Scripting
Hi All
I need help
am having a source file as below
emp
dept
class
subclass
region
country
division
first i need to get line count and i need to divide by 3 it is an parameter passing value
number of lines 7 (8 Replies)
Discussion started by: ragu.selvaraj
8 Replies
9. Linux
Hi,
Could you please help me with the below issue..
I'm running RHEL6 OS on both server (192.168.0.10) and client machines (192.168.0.1).
I'm trying to connect to server from the client machine using ftp service.
I have installed vsftpd daemon on both the machines.
I'm getting... (4 Replies)
Discussion started by: raosr020
4 Replies
10. SCO
HELP! I am running UNIX 7.1.4 and trying to change an existing machines' name, domain, and IP address. Uname -S and the new name changes the name but even when I use netcfg, I can not change the domain and IP. It is like it still thinks it is the old machine. I can not ping the new name or IP but... (3 Replies)
Discussion started by: NC user
3 Replies
LEARN ABOUT DEBIAN
interpfilter
INTERPFILTER(1) General Commands Manual INTERPFILTER(1)
NAME
interpfilter - filter models with formulas
SYNOPSIS
interpfilter <formulas-file> <test> < <interpretations-file> > <passing-interpretations-file>
DESCRIPTION
This manual page documents briefly the interpfilter command.
Given a set of formulas, a test to perform, and a stream of interpretations, interpfilter outputs the interpretations that pass the test.
TESTS
The following tests are available.
all_true
All formulas true in given interpretation.
some_true
Some formula true in given interpretation.
all_false
All formulas false in given interpretation.
some_false
Some formula false in given interpretation.
SEE ALSO
prover9(1), mace4(1).
Full documentation for interpfilter is found in the prover9 manual, available on Debian systems in the prover9-doc package at
/usr/share/doc/prover9-doc/manual/index.html.
AUTHOR
interpfilter was written by William McCune <mccune@cs.unm.edu>
This manual page was written by Peter Collingbourne <peter@pcc.me.uk>, for the Debian project (but may be used by others).
January 20, 2007 INTERPFILTER(1)