Tools

ファイル(もしくはディレクトリ)を Git による管理から外す手順

投稿日:2019年2月12日 更新日:

Git を使ってファイルやディレクトリの履歴を管理してきたけれど、特定のファイル(もしくはディレクトリ)を Git による管理から外す場合の手順です。

1. ファイル

ファイルを実際に削除しつつ、インデックスに削除の情報を追加する。

git rm file.txt

ファイルは削除せず、インデックスに削除の情報を追加する。

git rm --cached file.txt

2. ディレクトリ

ディレクトリは削除せず、インデックスに削除の情報を追加する。

git rm -r --cached directory

ディレクトリ directory 内に、Git 未登録のファイルがある場合は、それを無視する。

git rm -r --cached --ignore-unmatch directory

スポンサードリンク

📂-Tools

執筆者:labo


comment

メールアドレスが公開されることはありません。 が付いている欄は必須項目です

関連記事

Evernote

Android 用 Evernote 8.9 で検索ができない問題

Android 用 Evernote バージョン 8.9 で検索ができない問題についての対応策を書いています。

Windows

Audacityを使って、音声ファイルから必要ない部分(複数)を削除する

Audacityを使って、音声ファイルから必要ない部分(複数)を削除する手順について説明します。

no image

VSCode の設定・使い方

VSCode の設定・使い方について執筆予定です。 その他の機能 Emmet はデフォルトでサポートされている Emmet によるサジェスト

WSL

WSL (または WSL 2) から外付けストレージ側にアクセスできない場合の対処方法

WSL (または WSL 2) で外付けストレージ側に移動できない場合の対処方法を紹介します。

ICTリテラシー

WinMerge で Excel(Word,PowerPoint,PDF)ファイルを比較する

WinMerge で Excel ファイルや Wordファイルを比較する方法について説明します。