Git BASH

Git BASH #

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

gzip #

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

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

install #