git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Git issue report

From
Xxfswindy@163.com <xfswindy@163.com>
Date
Apr 19, 2018, 03:30 UTC
Message-ID
<-tc3xop-8i635uwx53zom190jcbwyrl587bgic1u7ogu-h5ta7c-vg7tsu-9tjre9eq72we-wflfrt-v7y1d7-7ekgia-gbrcn9of96to-6fxlag-u56rt19q40x9-ved85k-25erwyma9au4-fjthm4-fwargr.1524108608363@email.android.com>
Hi,
  I met a issue when using git.
I cannot delete the file by the commond 'git rm'.
The file name is a little diff from common file.
I accidentally named the file "filename\r", display such as filename^M. Then I commit the file by 'git add .'.
After I find this mistake, I remove the file, then try to use commond "git rm" to delete the file, but failed.

My git version is 1.7.9.5. Is this issue reported? If this issue is solved, could you tell me which version I should get.

Thanks! Xiaofeng Chen 04/19/2018

Next: Junio C Hamano
Message 1 of 2 in “Git issue report”
  1. xfswindy@163.comApr 19, 2018
  2. Junio C HamanoApr 19, 2018

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.