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

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

関連記事

Anki

Anki: JavaScript を使って「解答を表示」ボタンを押す

Anki: JavaScript を使って「解答を表示」ボタンを押す方法を紹介します。

ICTリテラシー

手軽に画像ファイル(PNG,JPEG)のサイズを小さくする TinyPNG サイト

PNG や JPEG 形式の画像ファイルを、なるべく見た目の品質を維持しつつ、ファイルサイズを小さくしたい場合は、TinyPNG というウェブサイトが手軽で便利です。

Anki

Anki のカードに背景画像を設定する

Anki のカード(テンプレート)に背景画像をセットする手順を紹介します。

Anki

Anki のデッキ(単語帳)は、基本的に階層構造にはしていません

Anki のデッキ(単語帳)は、基本的に階層構造にはしないという方針について説明します。

Vim

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

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