前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >Git - 文件名大小写不敏感,怎么删除文件

Git - 文件名大小写不敏感,怎么删除文件

作者头像
叉叉敌
发布2019-09-06 09:23:01
1.6K0
发布2019-09-06 09:23:01
举报
文章被收录于专栏:ChasaysChasaysChasays

问题

默认的 git 对文件名是大小写是不敏感的,因此需要设置下。

对于这个问题,没有使用 git rm 来删除 repo 的文件,再次上传之后,怎么移除这个文件。

解决办法

  • 如果 git 配置没有设置大小写敏感的话,直接复制下面的命令即可
git config core.ignorecase false

对于修改之前的文件,远端仓库没有删除,本地是手动删除。 解决办法就是,先备份本地修改后的文件到其他地方,这步非常重要,如果没有剪切或者备份的话,执行 git status 根本没有任何信息提示。

  • 移到其他地方之后,执行git status,就可以看到文件提示已经删除了。
deleted:    pages/orderDetail/orderDetail.js
	deleted:    pages/orderDetail/orderDetail.json
	deleted:    pages/orderDetail/orderDetail.wxml
	deleted:    pages/orderDetail/orderDetail.wxss
	deleted:    pages/orderdetail/orderdetail.js
	deleted:    pages/orderdetail/orderdetail.json
	deleted:    pages/orderdetail/orderdetail.wxml
	deleted:    pages/orderdetail/orderdetail.wxss

上面的orderdetail 和orderDetail重复了。

  • 然后用git rm -r --cached pages/orderdetail
➜  xxx git:(master) ✗ git rm  -r --cached pages/orderdetail
rm 'pages/orderdetail/orderdetail.js'
rm 'pages/orderdetail/orderdetail.json'
rm 'pages/orderdetail/orderdetail.wxml'
rm 'pages/orderdetail/orderdetail.wxss'
  • 然后在commit最后push即可。
  • 最后 git checkout xxx之前备份或者剪切的文件即可,手动copy回来也行。
本文参与 腾讯云自媒体分享计划,分享自作者个人站点/博客。
原始发表:2019年08月31日,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 作者个人站点/博客 前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体分享计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 解决办法
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档