add a -n option prevent kakrc from being sourced
This commit is contained in:
parent
2ab9b474be
commit
f3a7c76c4e
|
@ -712,7 +712,7 @@ int main(int argc, char* argv[])
|
||||||
std::vector<String> params;
|
std::vector<String> params;
|
||||||
for (size_t i = 1; i < argc; ++i)
|
for (size_t i = 1; i < argc; ++i)
|
||||||
params.push_back(argv[i]);
|
params.push_back(argv[i]);
|
||||||
ParametersParser parser(params, { { "c", true }, { "e", true } });
|
ParametersParser parser(params, { { "c", true }, { "e", true }, { "n", false } });
|
||||||
EventManager event_manager;
|
EventManager event_manager;
|
||||||
|
|
||||||
String init_command;
|
String init_command;
|
||||||
|
@ -760,7 +760,7 @@ int main(int argc, char* argv[])
|
||||||
|
|
||||||
Server server;
|
Server server;
|
||||||
|
|
||||||
try
|
if (not parser.has_option("n")) try
|
||||||
{
|
{
|
||||||
Context initialisation_context;
|
Context initialisation_context;
|
||||||
command_manager.execute("source " + runtime_directory() + "/kakrc",
|
command_manager.execute("source " + runtime_directory() + "/kakrc",
|
||||||
|
|
Loading…
Reference in New Issue
Block a user