極楽とんぼのロボット製作記

情報工学系大学院生がロボットとその周辺技術や身の回りの出来事について紹介するブログ

Git

【ROS】catkin_wsをgitで管理する

自分で作成したcatkin_wsをgitで管理する方法を紹介します。 リポジトリ作成 やり方は簡単です。まずはGithubやBitbucketでリポジトリを作成しましょう。 今回はmy_rosとしておきます。 $ git clone https://github.com/username/my_ros.git ワークスペース…

【git】addできずにfatal: Pathspec '/hoge/piyo' is in submodule '/hoge'と表示される

gitでaddしようとした際に、 fatal: Pathspec '/hoge/piyo' is in submodule '/hoge' と表示されて、addできなかった際の対処方法をまとめておきます。まずは落ち着いてstatusを確認してみましょう。 $ git status ..... /hoge .....(submodule untracked co…

GitHubのリポジトリ名変更

Git

GitHubのリポジトリ名を変更する手順です。 Web上での操作 GitHubの対象リポジトリのSettingタブからRepository Nameに新しい名前を入れてRenameを選択します。 対象リポジトリ上での操作 下記のコマンドを対象のリポジトリ上で実行して、リモートリポジトリ…

Githubでdotfilesを管理して、環境構築を一瞬で終わらせる

Git

dotfilesを管理して面倒な環境構築をコマンドで行います。シェルスクリプトを使用してシンボリックリンクを生成したり、必要なパッケージをインストールしたりします。

GithubにSSHで接続し、リポジトリを作成する

GithubにSSHで接続してリポジトリを作成します。SSHkeyの作成、Githubへのssh鍵の登録、SSHを使用したGithubへのpushを行います。

git push でreject。 〜fetchしてmergeしてconflict直してpushするまで〜

Git

タイトルでかなり日本語に不自由していますが、これからやろうとしていることをまとめるとタイトル通りになってしまいました。 先日、Gitでpushしようとした時に、こんなメッセージが出ました。error: failed to push some refs to 'https://bitbucket.org/g…

Gitのための非公開リポジトリを作成する(Bitbucket編)

Git

3回に分けてご紹介している非公開リポジトリを作成する方法ですが、今回はBitbucketを使用する方法をご紹介します。 Dropboxを使う方法 Googleドライブを使う方法 Bitbucketを使う方法(本記事) DropboxやGoogleドライブを使用する方法ではファイルストレージ…

Gitのための非公開リポジトリを作成する(Googleドライブ編)

Git

Google DriveをGitの非公開リポジトリとして活用する方法を説明します。GoogleDriveをgoogle-drive-ocamlfuseを用いてマウントし、そこにリモートリポジトリを作成します。

Gitで非公開リポジトリを作成する(Dropbox編)

Git

Gitを使い始めた時に困ったのがGitHubは無料のバージョンでは全て公開リポジトリになってしまうことでした。例えば研究でプログラミングしている場合は公開するわけに行かない場合もありますよね。でもGitによるバージョン管理はしたい。そこで本記事ではGit…