Edit migration file.
edgedb migration edit [options]Invokes $EDITOR on the last migration file, and then fixes migration id
after editor exits. Usually should be used for migrations that haven’t been
applied yet.
The migration edit command runs on the database it is connected to. For
specifying the connection target see connection options.
Directory where the schema files are located. Defaults to
./dbschema.
Do not check migration within the database connection.
Fix migration id non-interactively, and don’t run editor.
