diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-12-19 18:57:10 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-12-19 18:57:10 +0100 |
| commit | f3a7c76c4e859001211772c7e370d559491ccffa (patch) | |
| tree | d229d8d7b3f8d66e43ec5ae04791f438ba8a433a /src | |
| parent | 2ab9b474beadcb6b7a53bd15856ff91ec26fa575 (diff) | |
add a -n option prevent kakrc from being sourced
Diffstat (limited to 'src')
| -rw-r--r-- | src/main.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main.cc b/src/main.cc index b213b9fa..eadcef1f 100644 --- a/src/main.cc +++ b/src/main.cc @@ -712,7 +712,7 @@ int main(int argc, char* argv[]) std::vector<String> params; for (size_t i = 1; i < argc; ++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; String init_command; @@ -760,7 +760,7 @@ int main(int argc, char* argv[]) Server server; - try + if (not parser.has_option("n")) try { Context initialisation_context; command_manager.execute("source " + runtime_directory() + "/kakrc", |
