How to delete files locally using Git

With the development of code version control tools, Git has become one of the most widely used tools by developers. It allows you to manage your code easily and helps you collaborate on development.

In daily development, we will inevitably encounter situations where we need to delete local files. For example, we may accidentally delete some useless files locally, or we may need to delete some sensitive files to ensure security.

Let’s discuss how to use Git to delete files locally.

Git deletion operation

In Git, there are two common ways to delete local files:

Method 1: Delete the file directly

This is the simplest way. You only need to enter:

$ rm file-name

in the command line or directly select the file to be deleted in the resource manager, right-click and select "Delete".

This method only deletes the file from the local disk, but there is no corresponding record in Git. If you commit the code directly, even if you delete the file, Git will treat it as if the file has not been deleted.

Method 2: Use Git’s delete command

In order to ensure that Git can correctly record file deletion operations, we need to use the delete command provided by Git.

In the command line, use the following command to delete the file from Git:

$ git rm file-name

After executing this command, Git will completely delete the file from the repository and delete the operation. Recorded in the commit record.

How to handle deleted files

Sometimes errors may occur when deleting files. For example, you delete an important file by mistake, or you want to go back to a previous time. Submit the recorded code. At this time, we can solve these problems through some special commands of Git.

How to recover accidentally deleted files

If you are handicapped when deleting files and accidentally delete some important files, there are two ways to recover them:

Method 1: Undo the deletion operation

If you use the Git deletion command when deleting the file, you can use the following command to undo the deletion operation:

$ git restore file-name

After executing this command, Git Will restore the file to its last submitted state.

Method 2: Find the historical submission record of the file

If you are not sure when the accidentally deleted file was deleted, or you cannot use the Git undelete command, you can use the following command to find it Historical submission records of this file:

$ git log -- file-name

After executing this command, Git will return all submission records of this file. You can find the commit record when you accidentally deleted the file, and use the following command to restore the file:

$ git checkout commit-id file-name

where commit-id is the ID of the commit record you need to restore. This command will restore the file to the state recorded for that commit.

Return to the operation of a previous commit record

If you find some problems in the code of a previous commit record and need to return to that version of the code, you can use the following command:

$ git checkout commit-id

This command will return your code to the state of the commit record.

Summary

This article introduces two ways to use Git to delete local files, and details how to deal with accidentally deleting files and returning to a previous commit record. Through this article, I believe readers have learned about Git’s deletion operations and can better manage their own code.

The above is the detailed content of How to delete files locally using Git. For more information, please follow other related articles on the PHP Chinese website!