You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
if we want to set historyFile like this
java -cp {jars} sqlline.SqlLine --historyFile=myfile...
but it also be set as default
In the SqlLine.java, we need parses arguments firstly
History fileHistory = new DefaultHistory();
LineReader reader;
boolean runningScript = getOpts().getRun() != null;
if (runningScript) {
try {
FileInputStream scriptStream =
new FileInputStream(getOpts().getRun());
reader = getConsoleReader(scriptStream, fileHistory);
} catch (Throwable t) {
handleException(t);
commands.quit(null, new DispatchCallback());
return Status.OTHER;
}
} else {
// set a default fileHistory
reader = getConsoleReader(inputStream, fileHistory);
}
final DispatchCallback callback = new DispatchCallback();
// parse args include --historyFile
Status status = initArgs(args, callback);
The text was updated successfully, but these errors were encountered:
if we want to set historyFile like this
java -cp {jars} sqlline.SqlLine --historyFile=myfile...
but it also be set as default
In the SqlLine.java, we need parses arguments firstly
// set a default fileHistory
reader = getConsoleReader(inputStream, fileHistory);
}
// parse args include --historyFile
Status status = initArgs(args, callback);
The text was updated successfully, but these errors were encountered: