2018-07-24から1日間の記事一覧

Gitのユーザ情報を細かく管理する

$HOME/.gitconfigをgitで管理して、エイリアスなどの設定を会社と自宅で共有したいが、ユーザ名とメールアドレスは場所によって異なるので、それらを含んだまま管理ができていなかった。 で、cloneしてきた端末ごとにユーザ情報を設定すると、git上での差分…