Add --ignore to create-index as alias of --if-not-exists, refs #450

This commit is contained in:
Simon Willison 2022-07-15 15:25:49 -07:00
commit 2c77f4467e
3 changed files with 13 additions and 13 deletions

View file

@ -539,6 +539,7 @@ def index_foreign_keys(path, load_extension):
@click.option("--unique", help="Make this a unique index", default=False, is_flag=True)
@click.option(
"--if-not-exists",
"--ignore",
help="Ignore if index already exists",
default=False,
is_flag=True,