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執筆者：
関連記事
Anki: JavaScript を使って「解答を表示」ボタンを押す
Anki: JavaScript を使って「解答を表示」ボタンを押す方法を紹介します。
手軽に画像ファイル(PNG,JPEG)のサイズを小さくする TinyPNG サイト
PNG や JPEG 形式の画像ファイルを、なるべく見た目の品質を維持しつつ、ファイルサイズを小さくしたい場合は、TinyPNG というウェブサイトが手軽で便利です。
Anki のカード（テンプレート）に背景画像をセットする手順を紹介します。
Anki のデッキ（単語帳）は、基本的に階層構造にはしていません
Anki のデッキ（単語帳）は、基本的に階層構造にはしないという方針について説明します。
Vim でHTMLタグの中身を置換するキー操作について説明します。
