Sponsored Content
Top Forums Programming swing not getting initialized when the DISPLAY is not set Post 302335112 by shafi2all on Friday 17th of July 2009 09:10:25 AM
Old 07-17-2009
headless mode does not work for me.. I tried it using JVM option -Djava.awt.headless=true

Wondering, is there any similar option for swings only? (Formula one has 2 components one is awt and other one is swing)
 

10 More Discussions You Might Find Interesting

1. UNIX for Dummies Questions & Answers

set display

Hi All: An elementary Unix Question, How can i set the display number and run a program in that display. If i type the name of the executable the program opens in the console(display number 0), however, i want it to open in another display number. How can i do that. Appreciate the help... (2 Replies)
Discussion started by: preetham
2 Replies

2. UNIX for Dummies Questions & Answers

mandrake 6.0 , display not set despite

hi, i am on mandrake 6.0, shell of root user is bash. okay, i did the below #display=localhost.localdomain:0.0 #export display #xhost +localhost.localdomain system replies xhost added.. i did a set and there was an entry there.. now i want to install oracle, so did a ./runInstaller ... (2 Replies)
Discussion started by: yls177
2 Replies

3. Solaris

Can't make 'set DISPLAY' to work

Hi, I used exceed and putty in the past to HP server with no problem to make 'set DISPLAY' work on my desktop. However now I have Solaris 9 on Sun server 480 and I only have putty. I can't bring the X window (eg xclock, etc) to my desktop. I tried X11Fowarding, xhost, and so on, it doesn't... (5 Replies)
Discussion started by: jr_zhang
5 Replies

4. Shell Programming and Scripting

How to check if export DISPLAY is set or not?

Hi All, I use "export DISPLAY=same_host:0.0" to set my export DISPLAY and it is working fine for me.. Problem here is I have developed a script for which i should run export DISPLAY prior to running my script.... so my script should check whether export DISPLAY is set or not.. if... (6 Replies)
Discussion started by: smarty86
6 Replies

5. UNIX for Dummies Questions & Answers

.zshrc not initialized

Hi, I just updated /etc/passwd so that my default shell is zsh. After I save and make a new connection I can echo $SHELL and see /usr/bin/zsh, but my prompt still looks like bash and some env var that I setup in my local .zshrc file are not set. If I type zsh, then my prompt changes and I have my... (7 Replies)
Discussion started by: yankee428
7 Replies

6. Solaris

Set display to text

How do I set up my solaris 10 machine to display in text mode instead of graphics mode, permanently? (1 Reply)
Discussion started by: jastanle84
1 Replies

7. Solaris

Where/how is $DISPLAY set when connecting with XDMCP?

My "problem" is that it's set correctly and I want to break it, but can't figure out where it's getting set in the first place. I can see several places where $DISPLAY is referenced but at the point that the dollar sign is in front it's already an environment variable(I think). I thought... (1 Reply)
Discussion started by: gctaylor
1 Replies

8. Windows & DOS: Issues & Discussions

How to automatically set the DISPLAY var?

Hi all, Our users use Putty on Windows servers to log on to UNIX via SSH and run GUI applications. Is there a way to automatically get the display numbers from xming or Exceed (that are running on Windows) to set the DISPLAY var properly on UNIX? X11 forwarding is not an option. The closest I... (3 Replies)
Discussion started by: ejianu
3 Replies

9. Solaris

DISPLAY not set

Hi, When i invoke DBCA as oracle user , i get following usircd01:KAM:/opt/oracle10/product/10.2.0/bin>./dbca DISPLAY not set. Set DISPLAY environment variable, then re-run. usircd01:KAM:/opt/oracle10/product/10.2.0/bin>echo $ORACLE_SID CCE ... (6 Replies)
Discussion started by: Maddy123
6 Replies

10. Ubuntu

Can Scanner be Initialized from the Terminal

Hi, somewhat of a newbie with Linux, although I have been at it for about three weeks now. Is there a way to wake up or initialize my scanner with a command in the terminal? (6 Replies)
Discussion started by: klrman
6 Replies
CLAUSEFILTER(1) 					      General Commands Manual						   CLAUSEFILTER(1)

NAME
clausefilter - filter formulas with models SYNOPSIS
clausefilter <interpretations-file> <test> < <formulas-file> > <passing-formulas-file> DESCRIPTION
This manual page documents briefly the clausefilter command. Given a set of interpretations, a test to perform, and a stream of formulas, clausefilter outputs the formulas that pass the test. TESTS
The following tests are available. true_in_all Formula true in all interpretations. true_in_some Formula true in some interpretation. false_in_all Formula false in all interpretations. false_in_some Formula false in some interpretation. SEE ALSO
prover9(1), mace4(1). Full documentation for clausefilter 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
clausefilter 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 CLAUSEFILTER(1)
All times are GMT -4. The time now is 08:41 PM.
Unix & Linux Forums Content Copyright 1993-2022. All Rights Reserved.
Privacy Policy