マイコンは一般的に容量が小さいので、gitを使って運用しているとすぐに容量オーバーしてしまいます。
そこで、.gitフォルダを別の場所に移してGit運用する方法を採用しました。色々やり方はあるらしいのですが、とりあえずシンプルな方法を試しました。
この作業は、今回はじめてやった作業なので備忘録としてまとめておきます。
前提
・マイコン(Raspberry Pi Picoですが)はDドライブとする
・Cドライブに.gitフォルダを移動したいものとする
1.Raspberry Pi PicoのDドライブで普通にgit initする
1 |
$ git init |
2. .gitフォルダをCドライブの適当な場所に移動する
たとえば C:/gitremote とか。
今回は.gitフォルダを以下の場所に以下のように名前を変えました。(.gitというフォルダ名は変更して大丈夫)
1 |
C:/gitremote/razupiko.git |
D:/.git -> C:/gitremote/razupiko.git
3.Dドライブにテキストファイルとして.gitファイルを作成する。
以下のようなテキストファイルを作成する。
1 |
gitdir: C:/gitremote/razupiko.gitき |
基本的にはこれでOK。
3.確認作業
念の為、statusでも確認して、ちゃんと表示されることを確認すれば良い。
1 |
$ git status |
4.エラー対応
ステータス表示時に以下のエラーが出た場合は、ワーキングディレクトリと.gitディレクトリの所有者が一致しない、またはファイルシステムが所有者情報を提供していない可能性があります。
1 2 3 4 5 6 |
$ git status fatal: detected dubious ownership in repository at 'D:/' 'D:/.git' is on a file system that does not record ownership To add an exception for this directory, call: git config --global --add safe.directory D:/ |
その場合は以下のコマンドで、Dドライブを信頼できる場所として指定します。これで解決します。
1 |
git config --global --add safe.directory D:/ |