8 More Discussions You Might Find Interesting
1. HP-UX
My screen is grey when i connect to gui console (2 Replies)
Discussion started by: kenshinhimura
2 Replies
2. Solaris
We just installed the latest Oracle Solaris 10 Sparc 64-Bit CPU patch (10/2012) and we are no longer able to access the GUI or the console after the OBP. We believe that this is a graphics issue. It has affected out t2000 xvr-200 graphics server and also out v440 xvr-100 graphics server.
We are... (2 Replies)
Discussion started by: topper24501
2 Replies
3. Hardware
Hi i am new to unix , i need to do console configuration on aix p520 there is no HMC device, i tried doing connecting through null cable via hyper terminal still no result, team says kvm issue so what is kvm issue.... (2 Replies)
Discussion started by: vkav
2 Replies
4. Ubuntu
i'm having a frustrating issue with virtual consoles on my ubuntu 9.10 setup
i was having trouble accessing the virtual consoles at all (no visible display) so i installed XDM and set it as the default X login manager)
now when i hit ctl-alt F1-F6 instead of the usual getty (login prompt) i get... (0 Replies)
Discussion started by: hopper195
0 Replies
5. UNIX for Dummies Questions & Answers
Hi gurus,
I am trying to connect to wifi access point with terminal, I set up my own access point (no encryption or MAC filters)
I ran followings commands
$ sudo iwlist eth1 scanning
eth1 Scan completed :
Cell 01 - Address: 00:11:2F:A2:99:1C
... (1 Reply)
Discussion started by: wakatana
1 Replies
6. Solaris
Forgive my naievety, but is there a non-Gui version of the administration tool, SMC?
I need to run this on a remote Putty login and it is just plain UNIX.
When I invoke SMC, I get java.lang.ClassLoader errors, a bunch of jibberish and a root prompt.
I have searched Google, seems as if it... (14 Replies)
Discussion started by: jeffpas
14 Replies
7. UNIX for Advanced & Expert Users
I have successfully installed Red hat linux 7.2 on my PC.
But During the installation i saw the following messages
"starting anaconda....
probing vedio card:unable to probe
"
In Xconfiguration step of installation ,The installer could not identify my video card.
Finalle when i start... (1 Reply)
Discussion started by: ravi raj kumar
1 Replies
8. UNIX for Dummies Questions & Answers
Please Help
Let me start off by saying that I am a total idiot when it comes to unix. Please, if you would care to reply keep this in mind. Thank you.
I have been attempting to get my unix machine online to no avail. I have the rest of the house networked with 3 other windows machines into a... (1 Reply)
Discussion started by: kmer
1 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)