Ubuntu 14.04
作業ディレクトリとパッケージ追加の話. 最初に作業ディレクトリの名前を間違えるというミスをしてしまったばかりにとんでもないことになったので,慎重にコマンドを打っていこう(戒め).以下,コマンドcatkinを使うためのディレクトリを作る.$ cd ~ $ mkd…
今更感がすごいけど,様々なトラブルに見舞われてどうにかこうにか成功したので備忘録として載せておく.ちなみに1年ほど前の話.【OS】Ubuntu 14.04 LTS 64bit 【ROS】ROS indigo 【Proxy】環境下です.以下,コマンドの列挙.aptのプロキシ設定 $ export h…