.gzファイルの解凍方法

 インターネットで公開されているファイルは、圧縮されている場合があります。
拡張子.gzのファイルは以下の方法で解凍して下さい。

０．確認
	ネットスケープでダウンロードする場合、自動で解凍されている場合もあります。
	テキストビューアで中身を見て判断して下さい。
	意味のない文字の羅列の場合は、圧縮されているので以下の手順が必要になります。
	圧縮されていない場合は、３．名前の変更だけして下さい。


1．gzip.exeを入手する。
	例えば、GNUプロジェクトのサイト
	ftp://ftp.cs.titech.ac.jp/pub/gnu/gzip/
	で　gzip-1_2_4msdos.exeをダウンロードする。
	自己解凍書庫なので、そのまま実行して解凍するとgzip.exeが手に入ります。


２．gzip.exeの実行
	（例えば、gcvs.dat.gzのファイルを解凍する場合）
	DOS用プログラムなので、事前準備が必要です。
		１．解凍したいファイルと同じファルダにgzip.exeをコピーする。
			本当は必要ありませんが、その後の入力を簡単にするためです
		２．解凍したいファイルはとりあえず8.3形式のファイル名に変更しておく。
			例えば、ファイル名がgcvs.dat.gzの場合、
			エクスプローラーなどでgcvs_dat.gzとファイル名を変更する。
		３．DOS窓を開く。
			スタートメニューにあるMS-DOSプロンプトを実行して下さい。
		４．解凍したいファイルのあるフォルダに移動する。
			例えばC:\Windows\Tempにファイルがある場合
			DOS窓内で
			cd C:\Windows\Temp
			と入力します。(MS-DOSでは、大文字、小文字の区別はありません)

	gzip.exeを-d オプションをつけて実行します。
		DOS窓内で
		gzip -d gcvs_dat.gz
		と入力します。

	失敗した場合
	gzip: gcvs_dat.gz: not in gzip format
	などと表示されます。もう一度はじめからやり直して下さい。
	
	成功すれば、.gzの取れたファイル名に変更されています。
		先の例では、gcvs_datとなっています。


３．名前の変更
	エクスプローラーなどで適当と思われるファイル名に変更する。
		gcvs_datをgcvs.datに変更する。

以上。