06-19-2010
File Integrity checker with recovery
Hello friends
I have an CentosOS 5 box running Apache, I want to Install a powerful File Integrity checker with recovery option to maintain any changes may be happened without my hand
Could you help me to recommend such solution
Thanks
7 More Discussions You Might Find Interesting
1. UNIX for Advanced & Expert Users
the file /etc/passwd has corrupted mistakenly.actually the file has saved as "oot:0:0:root:/root/sbin/bash".
first r of root has been deleted ..
can anyone tell me how can i recover as normal user (2 Replies)
Discussion started by: singh_hackerz
2 Replies
2. Solaris
Hi,
I have two NFS shares mounted on a solaris system.
share1 and share2 , both are from different NFS servers
share1 has 500GB of data
share 2 is empty. I am copying all the data from share1 to share2.
It is like migrating the data from one NFS share to another.
Is there... (8 Replies)
Discussion started by: athreyavc
8 Replies
3. UNIX for Dummies Questions & Answers
Hi there,
When I want to make a file unrecoverable, I use the following command:
foo:~$ shred -fuz filename
The problem is that I deleted many files using:
foo:~$ rm -f filename
How can I make those files unrecoverable?
Is there a command that shreds the disk free space?
So that no file can... (2 Replies)
Discussion started by: chebarbudo
2 Replies
4. UNIX for Advanced & Expert Users
Hi,
Please let me know the way to recover the files deleted from home directory by 'rm*' command .
Thanks in advance. (10 Replies)
Discussion started by: ravigupta2u
10 Replies
5. UNIX for Dummies Questions & Answers
How can I ensure the folder that I tar and compress is good to be archive in DVD or tape? Must I uncompress and untar the file, or there is any way to tell the integerity of the compressed file before send to archive? I have bad experience on this, which the archive compressed file cold not be... (2 Replies)
Discussion started by: vivien_chu
2 Replies
6. UNIX for Advanced & Expert Users
is it possible to recovery a deleted file in AIX? (2 Replies)
Discussion started by: fiyas
2 Replies
7. Shell Programming and Scripting
I am attempting to write a korn shell script that does the following, but I am getting errors. I'm new to korn shell scripting and am not sure what I am doing wrong. Please help with example scripts. Thanks.
1) check for day of the week
2) if day of the week is Monday then check for the... (4 Replies)
Discussion started by: ijmoore
4 Replies
LEARN ABOUT DEBIAN
checker
checker(1) General Commands Manual checker(1)
NAME
checker - SPARK Proof Checker
SYNOPSIS
checker [OPTIONS] [FILE]
DESCRIPTION
The SPARK Proof Checker can be used to discharge verification conditions produced by the Examiner (*.vcg), possibly simplified by the Sim-
plifier (*.siv). This command is usually used when verification conditions cannot be discharged automatically by the Simplifier.
By default checker runs in interactive mode. It accepts commands from user and writes them into a cmd file (or other file specified by
-command_log option). This file can be used later to run checker in batch mode (using option -execute). Additionally, proof log is writ-
ten into a plg file.
OPTIONS
A summary of options is included below. All options may be abbreviated to the shortest unique prefix.
-help Show summary of options.
-version
Display version information.
-plain Adopt a plain output style (e.g. no dates or version numbers).
-overwrite_warning
Confirmation needed to overwrite command or proof log files.
-command_log=LOG_FILE
Specify file name for the command log file.
-proof_log=PLG_FILE
Specify file name for the proof log file.
-execute=LOG_FILE
Execute a previously generated command log file.
-resume
Resume a previously saved session.
FILES
/usr/share/spark/checker/rules/*
Checker rules database.
SEE ALSO
spark(1), sparksimp(1), spadesimp(1), pogs(1).
AUTHOR
This manual page was written by Eugeniy Meshcheryakov <eugen@debian.org>, for the Debian project (and may be used by others).
3 June 2011 checker(1)