2017-11-19から1日間の記事一覧
作業ディレクトリとパッケージ追加の話. 最初に作業ディレクトリの名前を間違えるというミスをしてしまったばかりにとんでもないことになったので,慎重にコマンドを打っていこう(戒め).以下,コマンドcatkinを使うためのディレクトリを作る.$ cd ~ $ mkd…
作業ディレクトリとパッケージ追加の話. 最初に作業ディレクトリの名前を間違えるというミスをしてしまったばかりにとんでもないことになったので,慎重にコマンドを打っていこう(戒め).以下,コマンドcatkinを使うためのディレクトリを作る.$ cd ~ $ mkd…