Sponsored Content
Top Forums Shell Programming and Scripting Tool to compare two Linux machines Post 302911639 by nhck on Saturday 2nd of August 2014 01:30:23 AM
Old 08-02-2014
If you're looking for something GUI-based, try Meld.

(meldmerge.org)
 

10 More Discussions You Might Find Interesting

1. IP Networking

troubles networking Windows machines to RH7.1 Linux

i hear everyone talking about this SAMBA "service" that comes with Linux distros...im having no luck getting this to work, neither one of the boxes on the network sees each other. im only an intermediate level user of Linux...Networking with Windows machines is relatively new to me, so you can... (3 Replies)
Discussion started by: fuji250
3 Replies

2. Linux

trying to map win xp machines in a linux

How do I map some winxp machines on a linux machine using samba? any help will be apreciated Thanks (3 Replies)
Discussion started by: raulb
3 Replies

3. HP-UX

Windows and Linux OS for HP-UX machines

Hi All, I'm not sure if this has been posted before. Anyone knows a site how to do a hardware check (ex. ioscan) on an HP-UX machine that runs in Linux,Solaris and Windows? I'm checking the docs.hp.com and it gives me HP-UX stuff. does HP even supports such highlevel commands we use on HP-UX OS?... (2 Replies)
Discussion started by: grumash
2 Replies

4. UNIX for Advanced & Expert Users

Linux machines hangs for a short while.

Hello! I'm managing a SuSE Linux 10 server which alot of users are using as login server and also as a build server.. There is a wierd problem with it cus' it hangs for about 30seconds ever so often and then resumes like before, this is when using SSH. It's not that heavley loaded but there... (2 Replies)
Discussion started by: Esaia
2 Replies

5. Red Hat

Where is TERM variable set on linux machines ?

We have two machines, prod and uat. The TERM variable in both machines are different prod echo $TERM vt100 UAT echo $TERM xterm I have checked the .profile file and could not find any entry ? There are some scripts on the box which are run by Autosys scheduler they seem to run in... (1 Reply)
Discussion started by: amit1_x
1 Replies

6. UNIX for Dummies Questions & Answers

Copying files to different linux machines using scp

Hi alll i had a file authorized_keys on machine one. now i need to copy this authorized keys file into machine2,machine 3..... i use scp authorized_keys root@192.168.168.11:/tmp/ for copying file . is there ant way to copy the same filr to multiple machines at one go ... (1 Reply)
Discussion started by: kalyankalyan
1 Replies

7. What is on Your Mind?

What's your favorite SSH client to connect to UNIX/Linux machines?

I am curious about the most popular ssh client on Windows environment. Talking about me, I use PuTTY most of the time coupled with WinSCP to transfer files. But, I like Tera Term too. It has great drag-drop feature where you can drag a file/folder and drop on the window and it will transfer the... (14 Replies)
Discussion started by: admin_xor
14 Replies

8. Solaris

Different VMSTAT output on Linux and Solaris machines

Hi, I am porting a piece of code from Solaris to Linux. Code uses VMSTAT command. On Solaris machine VMSTAT output is following: uname -a: SunOS rgsm01 5.9 Generic_118558-03 sun4u sparc SUNW,Sun-Fire-V440 vmstat: kthr memory page disk faults cpu r b w swap free re mf pi po fr de sr m1 m2... (3 Replies)
Discussion started by: Basant Mishra
3 Replies

9. Shell Programming and Scripting

Date Compare tool

Hello Guys, Just joined today with a simple task i guess. I need to write a shell script which takes input from users which is a date and should be able to compare the date differences between the dates keeping in mind the leap year and all. Kindly Guide :) :D (9 Replies)
Discussion started by: barryallen
9 Replies

10. UNIX for Beginners Questions & Answers

Compare 2 files with different keywords : use server health-check tool

I have two files to be compared to get the output of the differences. File1 has a lot more lists than File2. After searching a lot on this thread I'am unable to find the exact code that im willing to get. This will be used as 'pre-check'/post-check utility (health check Tool) to compare... (1 Reply)
Discussion started by: GeekyJimmy
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)
All times are GMT -4. The time now is 09:03 PM.
Unix & Linux Forums Content Copyright 1993-2022. All Rights Reserved.
Privacy Policy