10 More Discussions You Might Find Interesting
1. UNIX for Beginners Questions & Answers
hi unix expert
what does mean the blew sentences? and what does i do for this? ( i want to install dropbox in centos)
"I was just experimenting with Flatpak apps, and Dropbox is available as a Flatpak.
Installing that way was super easy -- installed gnome-software (which has Flatpak... (2 Replies)
Discussion started by: abdossamad2003
2 Replies
2. Programming
python gui or c++ gui or java gui?
and when to use etch one? (1 Reply)
Discussion started by: kaja
1 Replies
3. UNIX for Dummies Questions & Answers
Hello guys,
I am new to Unix, because of low RAM, i want to install Unix terminal (command line) without the GUI. Basically, i want to install two Unix OS (without the GUI) on VMware and make a TCP connection between them. I have a total of 2GB RAM on the host computer running window 7, so i... (7 Replies)
Discussion started by: Omar_M
7 Replies
4. Shell Programming and Scripting
Hi Experts,
Can anyone suggest me kindly, whether designing some small GUI applications are possible in shell scripting.....
Like a small calculator kind of stuff.......
I fit is possible guide me with some examples.
Thanks,
Newbie....... (0 Replies)
Discussion started by: kritibalu
0 Replies
5. Shell Programming and Scripting
I was wondering if it is possible to run a GUI window (say Firefox) without actually showing up the window on the desktop but still make it do its own regular stuff (like maybe do something via the command line). Sorry if its a dumb question.
Thanks (3 Replies)
Discussion started by: Legend986
3 Replies
6. 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
7. Programming
Hi friends I have my project based on C platform. I was supposed to develop a GUI. Can u pls suggest me the best way to develop the GUI. I heard that motif is the easy one to develop GUI applications. Pls help me out thanks in advance. (4 Replies)
Discussion started by: veeru554
4 Replies
8. Shell Programming and Scripting
Do you guys work with Python? I'm just learning now but GUI seems like a way cool program it is just really wierd... I have version 4.2. you can download it for free off the site... (0 Replies)
Discussion started by: Blacidic
0 Replies
9. UNIX for Dummies Questions & Answers
Hello all,
1) I want to have a GUI application that will call Unix shell scripts,
2) that GUI application should be able to reside on windows ( if possible) and then call Unix shell script either directly or through a server residing on unix.
That is for example.
If a is windows gui (... (1 Reply)
Discussion started by: hchivukula
1 Replies
10. UNIX Desktop Questions & Answers
I am running Solaris 9 os on a sparc 64. I installed netscape 7 and it works just fine. However on the desktop when you click web browser is still brings up netscape 4. How can i make the web browser link on the desk top open version 7 instead of 4?
Thanks,
Steve (1 Reply)
Discussion started by: meyersp
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)