Web技術の情報サイト（+ ICTリテラシー関連）
投稿日：2019年2月12日 更新日：
Git を使ってファイルやディレクトリの履歴を管理してきたけれど、特定のファイル（もしくはディレクトリ）を Git による管理から外す場合の手順です。
ファイルを実際に削除しつつ、インデックスに削除の情報を追加する。
ラボラジアン git rm file.txtファイルは削除せず、インデックスに削除の情報を追加する。
git rm --cached file.txtディレクトリは削除せず、インデックスに削除の情報を追加する。
git rm -r --cached directoryディレクトリ directory 内に、Git 未登録のファイルがある場合は、それを無視する。
git rm -r --cached --ignore-unmatch directory執筆者：
関連記事
前回 ./configure を実行した時に指定したオプションを確認する
目次1. 前置き (configure, make, make install)2. config.status ファイル(1) 前回 configure を実行した時の引数を表示する(2) 前回 c …
目次1. はじめに2. 前提とする環境3. ysoserial をビルドする1) Java を導入2) Maven を導入3) ysoserial の導入とビルド4) コマンド実行例4. おわりに 1 …
Ankiにおける学習の流れを図にしました。
Vim でHTMLタグの中身を置換するキー操作について説明します。
Anki カードの背景をストライプにする方法について説明します。
