git rm –cachedは別の場所では削除される
git rm –cached
を使ったレポジトリからのファイル外しだが、
このコマンドを実行したユーザ自体は確かに削除されない。
ただこの後に共有レポジトリにデータを送り込み、
その共有レポジトリを使って
git pull
した人は、ファイルが削除されてしまう。
この点は要注意。
git pullした人も削除されない方法、誰か知らない?おせーて。
プログラマによるプログラマのためのサイト(20年プログラマやってきた職業軍人がお届けする戦闘指南書)
git rm –cached
を使ったレポジトリからのファイル外しだが、
このコマンドを実行したユーザ自体は確かに削除されない。
ただこの後に共有レポジトリにデータを送り込み、
その共有レポジトリを使って
git pull
した人は、ファイルが削除されてしまう。
この点は要注意。
git pullした人も削除されない方法、誰か知らない?おせーて。
解決しなかったら検索してみるよろし。
PHPにおいて、文字が半角かどうか?を確認したい場合がある。 そのものズバリな関 ...
IP電話のお勉強で仕事終わり後に個人的な調査が続く。昨日というか今日は朝の3時ま ...
jQueryで、指定したオブジェクト(タグ)の、HTMLコード上の『前』に存在し ...
1)対象となるEBSボリュームをDetach Volumeで取り外す 2)サイズ ...
Mac限定。 使っているMacの容量が寂しいことになってきた時、 iTunesの ...
リモートワークを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" み ...
ディスカッション
コメント一覧
やっぱり、そうなんですね。
このミスで以前、画像が全部消えて大惨事でした。。