ファイル名を簡単に入力する 一生懸命ファイル名の補完を使って入力しても良いのですが、キータイプ数が 増えると入力ミスも増えるというもの。 そこで使うのが、ファイルグロブと呼ばれるファイル名の置換メカニズムです。 *を使うパターン よくあるのは、*…