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

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

関連記事

WSL

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

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

Linux

nvm を使っているUbuntu 16.04 LTS 環境に、yarn をインストールする

GitHub – creationix/nvm を使っている Ubuntu 16.04 LTS 環境に、Yarn をインストールする手順を紹介します。 Installation | Yar …

Git

Git でユーザー名とメールアドレスを設定する方法(全体用とプロジェクト用)

Git で、ユーザー名とメールアドレスを設定する方法です。(1) 全体の設定方法と、(2) プロジェクト毎の設定方法の2つを紹介します。 目次1. プロジェクトをまたいだ全体の設定(グローバル, gl …

Web

エンコード、デコード、ハッシュを行うウェブページを作成しました

入力した文字列に対して、以下の変換処理を行う ウェブページ を作成しました。 各種エンコード処理 各種デコード処理 ハッシュ化 いろいろお試しください。 🔗 エンコード/デコード/ハッシュ

Git

Git で管理を始める時に実行するコマンド

あるディレクトリを Git でバージョン管理する場合に、最初に実行しているコマンドを紹介します。 (1) Git で管理するディレクトリに移動 $ cd path/to/dir (2) Git管理開始 …