#!/bin/sh
#
# Simple, really.  My drives are crammed full,
# so I keep as much as I can compressed.
#
File=`echo $1 | sed 's/.gz//'`
if [ -f $File.gz -o -f $File ]; then
gunzip $File
fi
pico $File
gzip -9 $File
