X-Git-Url: https://git.phdru.name/?p=m_librarian.git;a=blobdiff_plain;f=scripts%2Fml-search.py;h=07563b94200187c70e97b1883fdfe6d5d601f82f;hp=e163daf208f0e72cea338dedd4590e607041182a;hb=4524177fe242fe12576af657b84b94ea123c1a30;hpb=b1657c852615f0deac00c879d4f69a3166d6fcdf diff --git a/scripts/ml-search.py b/scripts/ml-search.py index e163daf..07563b9 100755 --- a/scripts/ml-search.py +++ b/scripts/ml-search.py @@ -58,6 +58,9 @@ if __name__ == '__main__': args = main_parser.parse_args() if args.case_sensitive: if args.ignore_case: + sys.stderr.write( + "Cannot search case sensitive and case insensitive " + "at the same time\n") main_parser.print_help() sys.exit(1) else: