怎样从本地删除git远程仓库里面的文件？

https://jingyan.baidu.com/article/2a1383288e2ba5074a134fb5.html
首先第一步：没有手动直接将文件删除。（即自己去手动点右键的delete）
将这个链接中的第一步改成在idea的终端，然后在idea的终端去一步一步执行链接中从第二步开始的命令（此时我的分支就是在要删除的文件所在的分支上），即如下图：

注意：链接中的第一个命令： git pull（在idea的终端是不需要输入前面的$）是将远程仓库的文件全都拉取下来，出现Already up to date.即执行成功。效果如下图

注意：从这个图中可以看出，pull的不只是当前的分支，而是全部的分支也就是项目中全部的代码都拉取下来了！！！

第二个命令：git rm文件

名是将本地的你想要删除的文件删除，而不是自己去手动点右键的delete,而我先手动点文件的右键去delete ，所以这一步的执行效果是如下图：

如果我没有手动直接将文件删除，应该就是链接中的效果
第三个命令：是将自己删除的行为进行提交，效果如下图：

第四个命令：是将这些行为代码，push上去（所以第一步的pull很重要，如果自己不先pull直接push很可能将别人的代码给弄丢了，所以这几步命令缺一不可），这一步效果如下图：

到这里结束了，其实可以看出，最后两个命令其实就是删除远程库的文件的。
这几个命令的逻辑是：先把全部代码pull下来（第一个命令）----------》将自己本地的文件用命令的方式删除，而不是手动delete!(第二个命令）------------》将自己所做的删除行为进行提交------------》最后push到远程仓库