11-08-2002
GUI for Redhat Linux
I just installed Redhat Linux 8.0 and I do not know how to get to my GUI Desktop. Right now I'm just in the shell please help.
10 More Discussions You Might Find Interesting
1. UNIX for Dummies Questions & Answers
I am trying to install a Linux LFS server. I have not been able to figure out how to get the GUI to load up. I'm not even sure if it has been installed. Any information would be greatly appreciatted. (2 Replies)
Discussion started by: tlcrowder
2 Replies
2. UNIX Desktop Questions & Answers
I want one that won't run too slugish on a slower system (p 200Mhz for example). I know kde is out, anybody think gnome will run ok (I got 128 megs ram on it btw...don't ask :))? (5 Replies)
Discussion started by: pudad
5 Replies
3. UNIX Desktop Questions & Answers
I got Linux 9 installed on my system with the GUI.
One fine day....the GUI wouldn't start.
How should i set it right? (2 Replies)
Discussion started by: preeya
2 Replies
4. Red Hat
hi,
Can someone help in trouble shooting why my RedHat linux 8.0 in not logging into the KDE screen.
Thanks (1 Reply)
Discussion started by: kayode
1 Replies
5. Red Hat
hi
Recently the above option has stopped working all together. On clicking on this option it appears as though the window will open as the outline of the box appears but nothing more.
On running this from a command prompt within the GUI , I get the following error:
The last line... (0 Replies)
Discussion started by: timcs
0 Replies
6. Programming
Hello, I want know about building a product on Sun solaris and Redhat Linux.
Product would contain C,C++, Java, UNIX Shell scripts and so on. It will not be a client server programme.
Thanks!
Shafi (5 Replies)
Discussion started by: shafi2all
5 Replies
7. UNIX for Dummies Questions & Answers
I want to execute from a grub a very small linux that only has commands, so at startup it executes this shell script I wrote and after that the user has an option to go back to the grub.
I've heard of busybox but that doesn't seem to be helpful?
Can anyone recommend a non gui distro, that can... (1 Reply)
Discussion started by: jcnewton13
1 Replies
8. Red Hat
hi all
i have installed Windows 7 first. then i installed linux on dual partations...
i am booting both of them through dual boot... but when i start linux its only working well with CUI, when i used commands like startx or changed the initd to 5 then its loading the GUI interface of RedHat... (9 Replies)
Discussion started by: Nikhil Dethe
9 Replies
9. Red Hat
what is the difference between Redhat Linux and Redhat Enterprise Linux. whereas Redhat linux have Server installation options too. (2 Replies)
Discussion started by: hananabbas
2 Replies
10. Red Hat
Hi Guys
Required help in Redhat 6.1.
After installation of Redhat 6.1 in VMware system is not going in GUI mode.
please to solve the issue...
Thanks... (5 Replies)
Discussion started by: deviltech
5 Replies
LEARN ABOUT DEBIAN
mcrl2-gui
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)