git rm –cachedは別の場所では削除される
git rm –cached
を使ったレポジトリからのファイル外しだが、
このコマンドを実行したユーザ自体は確かに削除されない。
ただこの後に共有レポジトリにデータを送り込み、
その共有レポジトリを使って
git pull
した人は、ファイルが削除されてしまう。
この点は要注意。
git pullした人も削除されない方法、誰か知らない?おせーて。
プログラマによるプログラマのためのサイト(20年プログラマやってきた職業軍人がお届けする戦闘指南書)
git rm –cached
を使ったレポジトリからのファイル外しだが、
このコマンドを実行したユーザ自体は確かに削除されない。
ただこの後に共有レポジトリにデータを送り込み、
その共有レポジトリを使って
git pull
した人は、ファイルが削除されてしまう。
この点は要注意。
git pullした人も削除されない方法、誰か知らない?おせーて。
解決しなかったら検索してみるよろし。
PHPでリダイレクトして他ページに強制ジャンプさせる場合、 header("Lo ...
WordPressのプラグインを作成している際、自作のテンプレートタグを提供し、 ...
すでに存在しているエクセルファイルをブラウザからダウンロードさせたい場合のPHP ...
awstatsをyumでインストールする方法は以前記述したが、ソースからインスト ...
WordPressにおいて、今いるページは404ページなのかどうか?など、 テン ...
リモートワークを12年続けてきたITエンジニアが、メリットとデメリットを語る
私はリモートワークを12年続けています。今話題のテレワーク、在宅ワーク、リモート ...
->orderByRaw("concat(year,month,day) asc ...
git config --global core.editor vi これで、. ...
root@debian-gnu-linux-10:/home/aaaaaaa# ...
==テスト環境== .envに APP_ENV=local プログラム上では i ...
WEBサイトで、更新されたファイルだけ最新を読み込ませたい時
最新を読み込ませたい時は img src="aiueo.jpg?12345" み ...
ディスカッション
コメント一覧
やっぱり、そうなんですね。
このミスで以前、画像が全部消えて大惨事でした。。