Skip to main content

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

2
  • 4
    Alias expansion only works for the first word of a simple command. In sudo rm ... the rm is not subject to alias expansion, so your alias is not applied. For the shell, the rm in sudo rm is a parameter to sudo and as such not different from the rm in /bin/echo rm. Commented Jun 12, 2015 at 11:07
  • 1
    @Dubu Yes. You are right. The file was never sent to any trash. It was indeed deleted. And as I found using lsof (as suggested in the accepted answer), it was being used by some process, and hence the space was not released. Commented Jun 12, 2015 at 11:09