When using Git for code management, we often encounter situations where we need to delete files, whether because the files have been abandoned or because the file contents have been moved to other files, deleting files is a necessary operation. This article explains how to delete files using the Git command line.
If you want to delete files in the working directory, you can use therm
command:
$ rm <文件名>
For example, to To delete thesample.txt
file in the project root directory, you can use the following command:
$ rm sample.txt
You need to pay attention to the following points when using therm
command to delete files:
rm
command will only delete the file from the working directory, but not from the Git repository.rm
command to delete the file to avoid unnecessary data loss.To delete files from the Git repository, you can use thegit rm
command, which will also delete the files from the Git repository. Deletion from the working directory and Git repository:
$ git rm <文件名>
For example, to delete thesample.txt
file in the folderdocs
from the Git repository, you can use the following command:
$ git rm docs/sample.txt
You need to pay attention to the following points when using thegit rm
command to delete files:
git rm
You need to submit modifications before command deleting files to avoid unnecessary data loss.git rm
command to delete the file, you need to submit the modification and push it to the remote warehouse so that other developers can delete the file simultaneously.If you find that you no longer need to delete the file after deleting it, you can use thegit checkout
command to restore the file:
$ git checkout <文件名>
For example, to restore thesample.txt
file, you can use the following command:
$ git checkout sample.txt
You need to pay attention to the following when using thegit checkout
command to restore the file. Point:
git checkout
command to restore the file. After restoring the file, you need to submit the modification and push it to the remote warehouse so that other developers can delete the file synchronously. .This article introduces how to delete files using the Git command line. In general, there are the following points to note:
rm
command can only delete files in the working directory, while using thegit rm
command Only then can the file be deleted from the Git repository.git checkout
command to restore the file.The above is the detailed content of How to delete files using the Git command line. For more information, please follow other related articles on the PHP Chinese website!