Passing parameters in js batch

[Claude J. Morin]

Hi!

I'm testing MySQL Shell (ver. 8.0.30) using a JavaScript batch file which begin with:
#!/usr/bin/mysqlsh --file

After a shell.connect(), I'm running this test SQL:

session.runSql("SHOW Tables FROM DB");

It is working but the DB name is hardcoded in the script. I would like to pass the database name on the command line as a parameter, i.e. "./testBatch.js DBNAME". That way, I could use the same batch script with different databases. I can't seem to find the way to pass and use the parameter in the js script.

Any help would be greatly appreciated.

Thank you!

Claude