fix rm dir rule to make it case insensitive

In bash the output for the command `rm -f foo/` is:

    rm: cannot remove ‘foo/’: Is a directory

And not:

    rm: cannot remove ‘foo/’: is a directory
This commit is contained in:
Timo Furrer
2015-04-22 19:04:52 +02:00
parent b4b599df80
commit c788dfbc14
2 changed files with 2 additions and 1 deletions
+1 -1
View File
@@ -5,7 +5,7 @@ from thefuck.utils import sudo_support
@sudo_support
def match(command, settings):
return ('rm' in command.script
and 'is a directory' in command.stderr)
and 'is a directory' in command.stderr.lower())
@sudo_support