#!/bin/bash
# Who should e-mails about failure go to
MAILTO='admin@domain.com'
LOG_FILE=/root/raid.log
OK_FILE=/root/raid.ok
# If OK file doesn't exist create it
if [ ! -e $OK_FILE ]; then
cat /proc/mdstat > $OK_FILE
fi
rm -f $LOG_FILE
SYSTEM=`uname --nodename`
cat /proc/mdstat > $LOG_FILE
DIFF=`diff $OK_FILE $LOG_FILE | wc -l `
if [ $DIFF -ne 0 ]; then
echo "RAID failed"
mail -s "URGENT: RAID disk failure detected on $SYSTEM" $MAILTO < $LOG_FILE
else
echo "RAID OK"
fi
exit 0
Last edited by Corona688; 09-17-2012 at 01:11 PM..
My WS boot disk has failed so when i want to boot system (by OK boot -s or Ok boot disk0 ) i get these mesgs:
disk read error
boot :can not find misc/sparc9v/krtld
boot:error loading interperetor (misc/sparc9v/krtld)
Elf64 read error.
boot failed.
although it's probed ,finally i try... (1 Reply)
Hi All,
Seems to be one of the disk has failed on my Solaris server.
How do i confirm that disk has really failed or not?
Here are alert details.
-------
iostat -En out/put
c1t3d0 Soft Errors: 1884 Hard Errors: 153 Transport Errors: 54
Vendor: FUJITSU Product:... (3 Replies)
i'm writing some code to simulate the boot progress after power on
but when i try to read the 2nd sector from a floppy disk, this operation always fail with ah=0x80h which means timeout, how can i get over this problem?
my code would be like this:
$ cat boot.S
.code16
#define SETUPLEN 4... (0 Replies)
i'm writing some code to simulate the boot progress after power on
but when i try to read the 2nd sector from a floppy disk, this operation always fail with ah=0x80h which means timeout, how can i get over this problem?
my code would be like this:
$ cat boot.S
.code16
#define SETUPLEN 4... (0 Replies)
i'm writing some code to simulate the boot progress after power on
but when i try to read the 2nd sector from a floppy disk, this operation always fail with ah=0x80h which means timeout, how can i get over this problem?
my code would be like this:
$ cat boot.S
.code16
#define SETUPLEN 4... (0 Replies)
I have an oldish Solaris 10 system (SunFire x4240), which due to a recent heating event in the server room, lost it's system disk.
I have rsync backups of all the other (data) disks, but apparently I do not have a backup of /. :-( I can start the machine up in failsafe mode, but running fsck on... (4 Replies)
Iam new to AIX
I am unable varyonvg on the vios,some of the disk are reported as harware failure.
I am going to replace the disk,Please tell me how to remove the disk without any corruption in the VG
lspv -l hdiskx also didn't work (0 Replies)
Hi
Please can you help me on replacing or removing a faulty disk drive on a SUN NETRA X4250server with 4 internal drives only.
the format comand show me the following:
format
Searching for disks...done
AVAILABLE DISK SELECTIONS:
0. c0t0d0 <drive type unknown>
... (9 Replies)
Discussion started by: fretagi
9 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)