10 More Discussions You Might Find Interesting
1. Solaris
Hi everyone, I have an xwindow problem I could use a hand with.
I have a solaris 8 installation (a container actually, within solaris 10). I seem to not be able to open any xwindows over ssh.
It comes about when trying to install oracle. When ssh'd to the solaris 8, Oracle's runInstaller... (3 Replies)
Discussion started by: goodvikings
3 Replies
2. BSD
Hi,
I have OPENBSD 4.6 installed as a VM in Virtual Box on my Ubuntu 9.10 machine.
Problem is that the XWindows will not start when I boot my OPENBSD VM.
I am new to OPENBSD. How do I fix this problem? (5 Replies)
Discussion started by: mojoman
5 Replies
3. UNIX for Dummies Questions & Answers
Hi
I am trying to run a program on a solaris bx that requires an xwindow. I have exceed running and X11 forwarding enabled in putty I sent my display but the output is can't open display.
To connect to the server I ssh to a jump host and ssh to the server and then su to root. Could this have... (4 Replies)
Discussion started by: naddy
4 Replies
4. UNIX Desktop Questions & Answers
i m working on a project of making linux boot and run from a pendrive.
I have got a minimal root filesystem with busybox.
I wish to install X Server now. I downloaded the source tar balls, untarred them on the host system, used the default host.def issued commands
$make WORLDOPTS=-k World >&... (0 Replies)
Discussion started by: amu
0 Replies
5. Linux
i m working on a project of making linux boot and run from a pendrive.
I have got a minimal root filesystem with busybox.
I wish to install X Server now. I downloaded the source tar balls, untarred them on the host system, used the default host.def issued commands
$make WORLDOPTS=-k World >&... (0 Replies)
Discussion started by: amu
0 Replies
6. AIX
I have a HMC version 5.2, The HMC controls 4 lpars. I would like to install the powerchute on the HMC and have it be the master control to shutdown each of the lpars and the VIO server in order so no harm is done to the VIO server.
AIX version 5.3 64bit
My problem is i have to install... (5 Replies)
Discussion started by: pagink
5 Replies
7. Linux
I have written some Xwindows files would like to know how to compile them
tried this command
gcc -o main main.o -lXt -lX11
gives errors like could not find Xt & X11
help please (5 Replies)
Discussion started by: wojtyla
5 Replies
8. UNIX for Dummies Questions & Answers
I have a pretty basic XWindows question. I'm using Linux and the BASH shell. I want to connect to a machine that is running a Java IDE (we currently have I think "SlickEdit" but we're probably going to download Netbeans, Eclipse) and view the IDE on the client machine. I tried "xhost +" on the... (5 Replies)
Discussion started by: doublek321
5 Replies
9. IP Networking
Is there a way to find out who is logged in to the system using Xwindows ( hummingbird)..
I tried using
finger
and last
it doesn't show the person logged in ..
but when i run ps -ef | grep "ip address' it show various process running on the system..
Moreover is there a way to log off the... (2 Replies)
Discussion started by: ajnabi
2 Replies
10. UNIX for Dummies Questions & Answers
I have Oracle 8i, running Slackware...I have "X-win32" on my Win2k box, but when I installed Slackware I didn't install the GUI's... Isn't there a xdaemon or something of the sort that I must install first ? So when my Win2K box queries the UNIX box it picks up and says "Hi, gimme GUI" heh.. Any... (4 Replies)
Discussion started by: ComTec
4 Replies
MCRL2-GUI(1) User Commands MCRL2-GUI(1)
NAME
mcrl2-gui - graphical front-end for mCRL2 tools
SYNOPSIS
mcrl2-gui [OPTION]...
DESCRIPTION
A graphical front-end for mCRL2 tools
OPTIONS
OPTION can be any of the following:
--timings[=FILE]
append timing measurements to FILE. Measurements are written to standard error if no FILE is provided
Standard options:
-q, --quiet
do not display warning messages
-v, --verbose
display short intermediate messages
-d, --debug
display detailed intermediate messages
--log-level=LEVEL
display intermediate messages up to and including level
-h, --help
display help information
--version
display version information
AUTHOR
Written by Frank Stappers.
REPORTING BUGS
Report bugs at <http://www.mcrl2.org/issuetracker>.
COPYRIGHT
Copyright (C) 2012 Technische Universiteit Eindhoven.
This is free software. You may redistribute copies of it under the terms of the Boost Software License
<http://www.boost.org/LICENSE_1_0.txt>. There is NO WARRANTY, to the extent permitted by law.
SEE ALSO
See also the manual at <http://www.mcrl2.org/mcrl2/wiki/index.php/User_manual/mcrl2-gui>.
mcrl2-gui mCRL2 toolset 201202.0 (Release) April 2012 MCRL2-GUI(1)