Git BASH

Git BASH

上記の例では,$ がプロンプトでコマンドが ls,その前の行の緑文字は便利のためのプロンプトの拡張.

gzip

圧縮の演習で例示されている zip コマンドは(自分で入れないと)ないので,(私の授業では) gzip を使うと良い.

  • 圧縮: gzip filename
    filenameが消えて filename.gz が生成される
    消さない方法等は,gzip -hman gzip など参照.
  • 伸張/展開/解凍: gunzip filename.gz
    filename.gzが消えて filename が復元される

install