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

メールアドレスが公開されることはありません。

関連記事

Linux

前回 ./configure を実行した時に指定したオプションを確認する

目次1. 前置き (configure, make, make install)2. config.status ファイル(1) 前回 configure を実行した時の引数を表示する(2) 前回 c …

Java

ysoserial をビルドする

目次1. はじめに2. 前提とする環境3. ysoserial をビルドする1) Java を導入2) Maven を導入3) ysoserial の導入とビルド4) コマンド実行例4. おわりに 1 …

Anki

Anki: 学習の流れを図にしました

Ankiにおける学習の流れを図にしました。

Vim

Vim でHTMLタグの中身を置換するキー操作

Vim でHTMLタグの中身を置換するキー操作について説明します。

Anki

Anki カードの背景をストライプにする

Anki カードの背景をストライプにする方法について説明します。