git 删除本地文件后 同步将远程库里的文件也删掉

如果你使用 `git rm` 命令删除了本地文件，并且希望同步将远程库里的文件也删除，可以使用以下命令来完成：

git rm <file_name>
git commit -m "delete <file_name>"
git push origin <branch_name>

其中，`<file_name>` 是要删除的文件名，`<branch_name>` 是要提交到的分支名。

执行 `git rm` 命令将文件从本地 Git 仓库中删除，并且在接下来的提交中记录这个删除操作。然后使用 `git commit` 命令提交这个删除操作，最后使用 `git push` 命令将删除操作同步到远程 Git 仓库中。这样，远程库中相应的文件也会被删除。