How to delete files using the Git command line

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.

1. Delete files in the working directory

If you want to delete files in the working directory, you can use the rm command:

$ rm 

For example, to To delete the sample.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 the rm command to delete files:

• If the file is already managed by Git, using the rm command will only delete the file from the working directory, but not from the Git repository.
• If the file has been modified, you need to commit the modification and clear the working directory before using the rm command to delete the file to avoid unnecessary data loss.

2. Delete files in the Git repository

To delete files from the Git repository, you can use the git 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 the sample.txt file in the folder docs 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 the git rm command to delete files:

• If the file has been modified, use git rm You need to submit modifications before command deleting files to avoid unnecessary data loss.
• If the file has been merged by other branches, after using the 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.

3. Restore deleted files

If you find that you no longer need to delete the file after deleting it, you can use the git checkout command to restore the file:

$ git checkout 

For example, to restore the sample.txt file, you can use the following command:

$ git checkout sample.txt

You need to pay attention to the following when using the git checkout command to restore the file. Point:

• If the file has been merged by other branches, use the 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. .

4. Summary

This article introduces how to delete files using the Git command line. In general, there are the following points to note:

• Using the rm command can only delete files in the working directory, while using the git rm command Only then can the file be deleted from the Git repository.
• Before deleting a file, you need to pay attention to whether the file has been modified or merged into other branches, and perform corresponding commit or push operations.
• If you delete a file and find that you no longer need to delete the file, you can use the 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!