On Friday, 3 June 2022 at 00:55:59 UTC, Jack Stouffer wrote: > BTW, this is the description of defaultlib in the help page: > > "-defaultlib=<name> set default library to name" Yeah, the trick is if you leave <name> blank, it sets the default library to none.