git rm –cachedは別の場所では削除される
git rm –cached
を使ったレポジトリからのファイル外しだが、
このコマンドを実行したユーザ自体は確かに削除されない。
ただこの後に共有レポジトリにデータを送り込み、
その共有レポジトリを使って
git pull
した人は、ファイルが削除されてしまう。
この点は要注意。
git pullした人も削除されない方法、誰か知らない?おせーて。
プログラマによるプログラマのためのサイト(20年プログラマやってきた職業軍人がお届けする戦闘指南書)
git rm –cached
を使ったレポジトリからのファイル外しだが、
このコマンドを実行したユーザ自体は確かに削除されない。
ただこの後に共有レポジトリにデータを送り込み、
その共有レポジトリを使って
git pull
した人は、ファイルが削除されてしまう。
この点は要注意。
git pullした人も削除されない方法、誰か知らない?おせーて。
解決しなかったら検索してみるよろし。
自分の場合に限った事であるが、参考になる人もいると思ったので記事化。 vmwar ...
ECcubeで、新規にブロックを追加する場合の手順。 大きく分けてやるべき事は ...
MySQLの同時接続数を知りたい場合は show variables で出てくる ...
HTMLタグのpreタグは、ソースコードを表示させたりする際など、 記述した情報 ...
Macのキーボード・マウスとWindowsのキーボード・マウスが同じ机に載ってい ...
リモートワークを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" み ...
ディスカッション
コメント一覧
やっぱり、そうなんですね。
このミスで以前、画像が全部消えて大惨事でした。。