From 4e32fa60312a1d6fcd08700e8fb37e4b1d0195a0 Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Thu, 16 Nov 2023 10:52:44 +0100 Subject: Add -R as short option for --remote-serve-address The `just serve` command defaults to also provide the remote-execution endpoint if none is specified. The `just build` implicitly uses the serve endpoint as remote-execution endpoint if no other endpoint is specified. In this way, the serve endpoint has become the universal endpoint for simple set ups. Simplify that usage further by providing a short command-line option. --- src/buildtool/common/cli.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/buildtool/common/cli.hpp') diff --git a/src/buildtool/common/cli.hpp b/src/buildtool/common/cli.hpp index a1438400..bdcc5716 100644 --- a/src/buildtool/common/cli.hpp +++ b/src/buildtool/common/cli.hpp @@ -407,7 +407,7 @@ static inline auto SetupEndpointArguments( static inline auto SetupServeEndpointArguments( gsl::not_null const& app, gsl::not_null const& clargs) { - app->add_option("--remote-serve-address", + app->add_option("-R,--remote-serve-address", clargs->remote_serve_address, "Address of the serve service.") ->type_name("NAME:PORT"); -- cgit v1.2.3