This script determines primary_dumpdev by doing an awk on /etc/fstab.
This keeps one from using another swap formatted partition. Perhaps
primary_dumpdev is what should be configurable instead of DUMPDEV.
--
==========================================================================
Ken Pearlstein Field Tech Support Analyst
cell phone 703-362-9793 pager 888 308-0734
C/O SILICON GRAPHICS pearlste@xxxxxxxxxxxxxxxxxxx
14160 NEWBROOK DRIVE, SUITE 100 voice: (703) 227-8531 430-5403
CHANTILLY, VA 20151 fax: (703) 277-8500 430-5403
=========================================================================
|