9 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
I'm a newbie to shell scripting, I was given this script to modify. This script that monitors when CPU Usage is too high based off the top command. The comparison is not working as it should. Its comparing a decimal to a regualar interger. When it send me an email, it send an email and ignores the... (21 Replies)
Discussion started by: mhannor
21 Replies
2. AIX
I am trying to get AIX CDE to run with dual monitors. I just upgraded to my desktop to use dual monitors. When I log in to my AIX system with exceed running and issue the Xsession command the Splash screen flash on 1 screen then disappears but the desktop never shows. How do I set up Xsession to... (1 Reply)
Discussion started by: daveisme
1 Replies
3. UNIX for Advanced & Expert Users
Hi Guys,
I wonder if anyone knows if there is a monitor available out there that is equivalent or similar to the nmon monitor existing on AIX. I found top monitor too limited so I wonder if there is anything better to monitor my linuxs lpars running redhat. Thanks. (3 Replies)
Discussion started by: arizah
3 Replies
4. Shell Programming and Scripting
Hi there,
I am currently writing a csh script in which I want to be able to interrogate the hardware by some means in order to determine whether or not dual monitors are connected. This can't unfortunately be done by looking at xorg.conf because although some of the machines in question have... (2 Replies)
Discussion started by: mpcengineering
2 Replies
5. Ubuntu
Ok, so here's the deal. I just get back from a trip to Switzerland - where I held a presentation using my laptop and thus did fiddle with some settings - and I plug my external monitor on my laptop, fiddle the settings back, and it won't work.
I have an nvidia graphics card, so I use... (2 Replies)
Discussion started by: TheBB
2 Replies
6. UNIX Desktop Questions & Answers
:confused:How do I configure Solaris 11 to use both my elite 3d cards and monitors to create one big screen? My machine is an Ultra80:confused: (2 Replies)
Discussion started by: vatch23
2 Replies
7. Solaris
The guy that knows how to do this is gone. I watched him do it but i am not really sure how to split the screen.
i searched and found this but have not tried it
Copy /usr/dt/config/Xservers to /etc/dt/config/Xservers
0 Local local_uid@console root /usr/openwin/bin/Xsun :0 -nobanner -dev... (1 Reply)
Discussion started by: deaconf19
1 Replies
8. SCO
Hi all, we have 5 monitors connected to a SCO server using it's IP address(192.168.1.1), the server got busted, we have another similar server to connect the monitors to , how can i change the IP address of the new server to be (192.168.1.1), and connect the monitors to it.
thanks, Marcel (1 Reply)
Discussion started by: marcelious
1 Replies
9. UNIX for Dummies Questions & Answers
Dear Experts
How can I change the monitor specifications, specially type, Frequency and resolution in linux Redhat 9 or more??? after the linux installation.
Please advise
Thanks (3 Replies)
Discussion started by: Reza Nazarian
3 Replies
FORMED(1) General Commands Manual FORMED(1)
NAME
formed - formula editor for first-order logic formulas
SYNOPSIS
formed [options]
DESCRIPTION
This manual page documents briefly the formed command.
formed is a window-based program for constructing, displaying, and managing first-order logic formulas. The main motivation for construct-
ing formed was the desire to have formulas displayed in a readable, two-dimensional format. Users of formed can make two kinds of transfor-
mation on formulas: (1) logic transformations, such as negation normal form translation, which preserve the meaning of a formula, and (2)
edit transformations, which can be used to make arbitrary changes, such as adding a hypothesis to a subformula. formed was written by using
the X Window System, Version 11, and code from the theorem prover otter.
OPTIONS
A summary of options is included below.
-l filename
Load formulas in the specified file during startup. Formulas can also be loaded after startup with the button Load in the main menu.
-f color
Use the named color for the foreground on color monitors (ignored on black-and-white monitors).
-b color
Use the named color for the background on color monitors (ignored on black-and-white monitors).
SEE ALSO
anldp(1), mace2(1), otter(1).
``FormEd: An X Window System application for managing first-order formulas'' (McCune et al.), available from http://www.osti.gov/energyci-
tations/servlets/purl/6427100-WtOa4g/6427100.PDF
AUTHOR
formed ws written by William McCune <otter@mcs.anl.gov>
This manual page was written by Peter Collingbourne <pcc03@doc.ic.ac.uk>, for the Debian project (but may be used by others).
November 5, 2006 FORMED(1)