22.1.1. Git BASH
git コマンドのWindows版と一緒に配布されているソフトウェアです.
Git BASH #

上記の例では,$ がプロンプトでコマンドが ls,その前の行の緑文字は便利のためのプロンプトの拡張.
gzip #
圧縮の演習で例示されている zip コマンドは(自分で入れないと)ないので,(担当教員の許可があれば) gzip を使うと良い.
- 圧縮:
gzip filenamefilenameが消えてfilename.gzが生成される
消さない方法等は,gzip -hやman gzipなど参照. - 伸張/展開/解凍:
gunzip filename.gzfilename.gzが消えてfilenameが復元される
install #
- visit: https://gitforwindows.org/
- follow download link
- e.g., https://github.com/git-for-windows/git/releases/tag/v2.53.0.windows.2
- use
Git-2.version.-64-bit.exe