Sponsored Content
Operating Systems Solaris help needed to put machine in domain Post 302344974 by jlliagre on Tuesday 18th of August 2009 06:22:56 AM
Old 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

Adding a Unix machine to the domain

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

Help needed installing Grace (xmgrace) on Linux machine

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

Unable to ping freebsd machine using fully qualified domain name

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

How to: Linux BOX in Windows Domain (w/out joining the domain)

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

To find the LATEST file from a dir on REMOTE machine and SCP to local machine?

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

Script to monitor Machine Health (Project Doctortux) Input needed.

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

Old Sun machine documentation needed

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

help needed to put instance numbers

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

Unable to connect to Server machine from a client machine using ftp service

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

Machine and domain renaming

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
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)
All times are GMT -4. The time now is 09:45 AM.
Unix & Linux Forums Content Copyright 1993-2022. All Rights Reserved.
Privacy Policy