11-13-2005
10 More Discussions You Might Find Interesting
1. 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
2. Linux
OK: apologies (well) in advance if this is as stupid a question as it gets.
I need to change the 'owner' on certain files and folders within my Linux web hosting account.
Unfortunately I use Windows XP and now need some kind of Windows application that can open a window within XP that lets me... (1 Reply)
Discussion started by: Boa Prinz
1 Replies
3. Linux
What are the differences, advantages, and disadvantages? (1 Reply)
Discussion started by: Advice Pro
1 Replies
4. Programming
Hi,
the following code comes from Unix Linux dialog utility project.
Unfortunately, this project is no more actively maintained.
Unix Linux dialog utility is made of widget boxes.
One of them is mixedgauge.c
In the following example I would like to get rid of flickering
when run in... (0 Replies)
Discussion started by: jack2
0 Replies
5. UNIX and Linux Applications
We are using subversion as a version control system in our project. We are connecting to client`s sun Solaris box through check point VPN. Client has installed subversion .
We have created repository and add files to it. Now we want to access the same from our windows machine (through... (0 Replies)
Discussion started by: aasid
0 Replies
6. Linux
Hello experts,
I have windows on my PC and now I want to continue java programming in Linux. Can anyone please suggest which distribution I can use which will give me better environment for programming and also good interface like windows... (4 Replies)
Discussion started by: gentleDean
4 Replies
7. Red Hat
I have a virtual machine with RedHat. It has a command-line tool X that takes an input file + some control parameters, performs some processing and generates some input files. I have a Windows XP/Server 2003 box where an app Y is running. What I need to do is to control X from Y. That is, given an... (1 Reply)
Discussion started by: ilyaz
1 Replies
8. Shell Programming and Scripting
forgive me if i am posting this question in wrong forum.
I have a rsync script that runs on one server for rsync with another server (both linux)
.
Now I want to get control of that script from my windows 7 machine. Means I want to run that script from my windows machine whenever i want... (1 Reply)
Discussion started by: HarryReid
1 Replies
9. Windows & DOS: Issues & Discussions
Hi All,
I wanted to run a small socket application written in C on windows.
The code was written for GNU/linux..the compiler on windows CodeBlocks complains about the sys headers.
is there an equivalent for windows ? (4 Replies)
Discussion started by: coolatt
4 Replies
10. UNIX for Beginners Questions & Answers
Hi ,
wanna learn native GUI programming in Unix-Linux instead of Gtk and Qt.
No problem. You don't need a cross platform Gui toolkit like Gtk and Qt.
And the code and syntax is also not more or less than others.
Check out this code for a simple mainwindow for your application that is openend in... (0 Replies)
Discussion started by: Sennenmut
0 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)