Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
fix: make sure that when deleting shell history the system call is taken into account #762
Signed-off-by: Lorenzo Fontana email@example.com
What type of PR is this?
Any specific area of the project related to this PR?
What this PR does / why we need it:
When deleting a shell history file we can't rely on the name of the command deleting it.
Which issue(s) this PR fixes:
Special notes for your reviewer:
Does this PR introduce a user-facing change?:
[APPROVALNOTIFIER] This PR is APPROVED
The full list of commands accepted by this bot can be found here.
The pull request process is described here
Needs approval from an approver in each of these files:
Approvers can indicate their approval by writing