Merge pull request #170 from SanketDG/manfix

add rule for having no spaces in man commands.
This commit is contained in:
Vladimir Iakovlev
2015-05-08 01:11:48 +02:00
3 changed files with 24 additions and 2 deletions
+9
View File
@@ -0,0 +1,9 @@
def match(command, settings):
return (command.script.startswith(u'man')
and u'command not found' in command.stderr.lower())
def get_new_command(command, settings):
return u'man {}'.format(command.script[3:])
priority = 2000