コレは何？/What is this?
githubでARCS6を同期するための手順。
チームワークを発揮するためには必須。
朝研究室に来たらまずは pull、帰る前に push しよう！ （こまめな同期がコンフリクトを防ぐ）
手順書の読み方
はコマンドを示し， puttyなどでwindows端末から接続し、コマンドか編集内容をCtrl+Cでコピー、 puttyの画面上にフォーカスを移して右クリックでペースト、そうするとラクに作業ができます。
★ GitHubアカウントの作成とトークンの生成
1. GitHubアカウントを作成
https://github.com/で普通にアカウントを作成する。
2.「Personal Access Token」を生成する
githubの設定ページを開いて， 下記の画面で「Personal Access Token」を生成する。
repoからgistまでを全てチェックして、期限を3ヶ月に設定して「Generate token」を押す。
（詳細については github トークン でググれば丁寧な解説ページが出てくるので、そこを見ると良い）
最終的に、ghp_から始まる文字列が得られるので、どこかにメモっておく。
★ 最初期導入編：全く新しい別端末への導入
1. gitをインストール
RedHat系なら，
Ubuntu系なら，
としてインストールする。 （通常はデフォルトでgitが入ってることが多い）
2. 自分用ディレクトリを作成
mkdir expsrc
cd expsrc
mkdir yoko ←自分用ディレクトリの名前
上記のファイルパスはあくまでも一例で、好きなように設定してオーケー。
★ 導入編I：ARCS6公開リポジトリに新しい端末からアクセスする場合
1. gitの初期設定
mkdir ARCS6
cd ARCS6
git init
git config --global user.name 自分のユーザ名
git config --global user.email 自分のメールアドレス
git remote add origin https://github.com/Sidewarehouse/ARCS6.git
2. gitの初期pull
3. ブランチ名を変更
4. 自分用ディレクトリ（例：/expsrc/yoko/ARCS6）にファイル一式が入っていることを確認
★ 導入編II：非公開ロボットリポジトリに新しい端末からアクセスする場合
1. まず、導入編Iを実行してから、その後に下記をすること
2. 非公開リポジトリのコラボレータになる
- https://github.com/のアカウントのユーザ名を横倉に知らせる。
- 横倉はそのユーザをコラボレータに設定する。
- 設定されたら Accept Invitation を押す。
3. gitの初期設定
mkdir UniDisc ←既存の非公開ロボット名（例）
cd UniDisc
git init
git remote add origin https://github.com/Sidewarehouse/ARCS6-UniDisc.git
上記は「UniDisc」という名前の既にある非公開ロボットのコードにアクセスする例。
4. gitの初期pull
ここでユーザ名とパスを聞かれるはず。パスは先述のトークンをコピペで入れる。
（putty画面上で右クリックするとペーストできる。ただし画面上には表示されない）
5. ブランチ名を変更
6. ファイル一式が入っていることを確認
ls
★ 運用編I：ロボット制御系のコーディングをする場合
1. 目的のロボットディレクトリまで移動
2. 他の誰かが変更しているかもしれないので、まずはプル
Username for 'https://github.com': 自分のユーザ名
Password for 'https://sidewarehouse@github.com': ghp_から始まる自分の2要素認証トークン
3. コーディング開始～～～コーディング終了
4. クリーンにしておく
make clean
5. 追加・編集したファイルをgitに認識させる
git add .
git status
ココで下記のようなファイル一覧（例）が表示される。
緑 ＝ 追加・編集され、尚且つgitに認識設定されたファイル
赤 ＝ 追加・編集されたものの、gitに認識設定されていないファイル
6. ↑の赤のファイルを認識設定したければ
git status
赤のファイルが緑になっていればオーケー。
7. コミット＆プッシュ
git push -u origin main
Username for 'https://github.com': ＜自分のユーザ名＞
Password for 'https://自分のユーザ名@github.com': ＜ghp_から始まる自分の2要素認証トークン＞
8. ログ確認
一番上の右の方に「(HEAD -> main, origin/main)」とあれば、 ローカルリポジトリとリモートリポジトリが同期されているのでオーケー。
運用編II：ARCS6基本システム自体のコーディングをする場合（libも含む）
1. ARCS6ディレクトリまで移動
2. 他の誰かが変更しているかもしれないので、まずはプル
Username for 'https://github.com': 自分のユーザ名
Password for 'https://sidewarehouse@github.com': ghp_から始まる自分の2要素認証トークン
3. コーディング開始～～～コーディング終了
4. クリーンにしておく
make clean
5. 非公開のため無視するファイルを確認
無視する非公開ファイルに漏れがないかチェック
6. 追加・編集したファイルをgitに認識させる
git add .
git status
ココでファイル一覧が表示される。 非公開ファイルが含まれていないかチェック
7. コミット＆プッシュ
git push -u origin main
Username for 'https://github.com': 自分のユーザ名
Password for 'https://sidewarehouse@github.com': ghp_から始まる自分の2要素認証トークン
8. ログ確認
一番上の右の方に「(HEAD -> main, origin/main)」とあればオーケー。
★ その他よく使うコマンド
A. 直前のコミットを取り消す
git push -f origin main
B. ローカルのmainをリモートのmainに強制的に合わせる
git reset --hard origin/main
C. マージポリシーの変更
D. ローカルのブランチ名を変更
★ WSL上で動かすときの場合の問題解決
Windowsから「\\wsl$」でアクセスして、ARCS6のコードを編集しようとすると、 permission deniedで編集できない。
1. そこで、
2.下記を2回打ってでWSLを終了
3. Windows側のコマンドプロンプト(cmd.exe)で、
4. その後、WSLを再度起動すると、シェルのプロンプトが、 ユーザ名@ホスト名だったのが、root@ホスト名に変わってることを確認
5. そのあとに、Windowsから「\\wsl$」でアクセスすると、正常に編集できるようになる
SWL - The Side Warehouse Laboratory, 横倉研究室 - 技術倉庫
Copyright(C), The Side Warehouse Laboratory, All rights reserved.