2012-07-18 21:59:03 +03:00
|
|
|
#pragma once
|
2023-04-01 06:18:41 +03:00
|
|
|
///@file
|
2003-07-04 18:42:03 +03:00
|
|
|
|
2023-09-03 00:35:16 +03:00
|
|
|
#include "file-descriptor.hh"
|
2023-10-25 07:43:36 +03:00
|
|
|
#include "processes.hh"
|
2016-02-09 22:07:48 +02:00
|
|
|
#include "args.hh"
|
Overhaul completions, redo #6693 (#8131)
As I complained in
https://github.com/NixOS/nix/pull/6784#issuecomment-1421777030 (a
comment on the wrong PR, sorry again!), #6693 introduced a second
completions mechanism to fix a bug. Having two completion mechanisms
isn't so nice.
As @thufschmitt also pointed out, it was a bummer to go from `FlakeRef`
to `std::string` when collecting flake refs. Now it is `FlakeRefs`
again.
The underlying issue that sought to work around was that completion of
arguments not at the end can still benefit from the information from
latter arguments.
To fix this better, we rip out that change and simply defer all
completion processing until after all the (regular, already-complete)
arguments have been passed.
In addition, I noticed the original completion logic used some global
variables. I do not like global variables, because even if they save
lines of code, they also obfuscate the architecture of the code.
I got rid of them moved them to a new `RootArgs` class, which now has
`parseCmdline` instead of `Args`. The idea is that we have many argument
parsers from subcommands and what-not, but only one root args that owns
the other per actual parsing invocation. The state that was global is
now part of the root args instead.
This did, admittedly, add a bunch of new code. And I do feel bad about
that. So I went and added a lot of API docs to try to at least make the
current state of things clear to the next person.
--
This is needed for RFC 134 (tracking issue #7868). It was very hard to
modularize `Installable` parsing when there were two completion
arguments. I wouldn't go as far as to say it is *easy* now, but at least
it is less hard (and the completions test finally passed).
Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>
2023-10-23 16:03:11 +03:00
|
|
|
#include "args/root.hh"
|
2017-10-24 13:45:11 +03:00
|
|
|
#include "common-args.hh"
|
2019-12-05 20:11:09 +02:00
|
|
|
#include "path.hh"
|
2021-04-05 17:33:28 +03:00
|
|
|
#include "derived-path.hh"
|
2024-02-03 04:53:49 +02:00
|
|
|
#include "exit.hh"
|
2003-07-04 18:42:03 +03:00
|
|
|
|
2006-12-04 19:17:13 +02:00
|
|
|
#include <signal.h>
|
|
|
|
|
2014-02-17 15:48:50 +02:00
|
|
|
#include <locale>
|
|
|
|
|
2003-07-04 18:42:03 +03:00
|
|
|
|
2014-08-13 04:50:44 +03:00
|
|
|
namespace nix {
|
2003-12-01 17:55:05 +02:00
|
|
|
|
2022-02-25 17:00:00 +02:00
|
|
|
int handleExceptions(const std::string & programName, std::function<void()> fun);
|
2006-09-05 00:06:23 +03:00
|
|
|
|
2023-04-07 16:55:28 +03:00
|
|
|
/**
|
|
|
|
* Don't forget to call initPlugins() after settings are initialized!
|
2024-04-20 00:41:56 +03:00
|
|
|
* @param loadConfig Whether to load configuration from `nix.conf`, `NIX_CONFIG`, etc. May be disabled for unit tests.
|
2023-04-07 16:55:28 +03:00
|
|
|
*/
|
2024-04-20 00:41:56 +03:00
|
|
|
void initNix(bool loadConfig = true);
|
2006-09-05 00:06:23 +03:00
|
|
|
|
2014-08-13 04:50:44 +03:00
|
|
|
void parseCmdLine(int argc, char * * argv,
|
|
|
|
std::function<bool(Strings::iterator & arg, const Strings::iterator & end)> parseArg);
|
2009-11-24 14:26:25 +02:00
|
|
|
|
2022-02-25 17:00:00 +02:00
|
|
|
void parseCmdLine(const std::string & programName, const Strings & args,
|
2017-07-25 16:09:06 +03:00
|
|
|
std::function<bool(Strings::iterator & arg, const Strings::iterator & end)> parseArg);
|
|
|
|
|
2022-02-25 17:00:00 +02:00
|
|
|
void printVersion(const std::string & programName);
|
2011-09-01 00:11:50 +03:00
|
|
|
|
2023-04-07 16:55:28 +03:00
|
|
|
/**
|
|
|
|
* Ugh. No better place to put this.
|
|
|
|
*/
|
2005-02-01 14:36:25 +02:00
|
|
|
void printGCWarning();
|
|
|
|
|
2016-02-04 15:48:42 +02:00
|
|
|
class Store;
|
Eliminate the "store" global variable
Also, move a few free-standing functions into StoreAPI and Derivation.
Also, introduce a non-nullable smart pointer, ref<T>, which is just a
wrapper around std::shared_ptr ensuring that the pointer is never
null. (For reference-counted values, this is better than passing a
"T&", because the latter doesn't maintain the refcount. Usually, the
caller will have a shared_ptr keeping the value alive, but that's not
always the case, e.g., when passing a reference to a std::thread via
std::bind.)
2016-02-04 15:28:26 +02:00
|
|
|
|
2019-12-05 20:11:09 +02:00
|
|
|
void printMissing(
|
|
|
|
ref<Store> store,
|
2021-04-05 16:48:18 +03:00
|
|
|
const std::vector<DerivedPath> & paths,
|
2019-12-05 20:11:09 +02:00
|
|
|
Verbosity lvl = lvlInfo);
|
2008-08-04 16:44:46 +03:00
|
|
|
|
2019-12-05 20:11:09 +02:00
|
|
|
void printMissing(ref<Store> store, const StorePathSet & willBuild,
|
|
|
|
const StorePathSet & willSubstitute, const StorePathSet & unknown,
|
2020-07-30 14:10:49 +03:00
|
|
|
uint64_t downloadSize, uint64_t narSize, Verbosity lvl = lvlInfo);
|
2012-11-20 01:27:25 +02:00
|
|
|
|
2022-02-25 17:00:00 +02:00
|
|
|
std::string getArg(const std::string & opt,
|
2014-08-13 04:50:44 +03:00
|
|
|
Strings::iterator & i, const Strings::iterator & end);
|
|
|
|
|
2022-02-25 17:00:00 +02:00
|
|
|
template<class N> N getIntArg(const std::string & opt,
|
2014-02-17 15:48:50 +02:00
|
|
|
Strings::iterator & i, const Strings::iterator & end, bool allowUnit)
|
2009-11-24 14:26:25 +02:00
|
|
|
{
|
|
|
|
++i;
|
2020-04-22 02:07:07 +03:00
|
|
|
if (i == end) throw UsageError("'%1%' requires an argument", opt);
|
2021-01-08 13:51:19 +02:00
|
|
|
return string2IntWithUnitPrefix<N>(*i);
|
2009-11-24 14:26:25 +02:00
|
|
|
}
|
2008-06-18 17:20:16 +03:00
|
|
|
|
2016-01-05 01:40:40 +02:00
|
|
|
|
Overhaul completions, redo #6693 (#8131)
As I complained in
https://github.com/NixOS/nix/pull/6784#issuecomment-1421777030 (a
comment on the wrong PR, sorry again!), #6693 introduced a second
completions mechanism to fix a bug. Having two completion mechanisms
isn't so nice.
As @thufschmitt also pointed out, it was a bummer to go from `FlakeRef`
to `std::string` when collecting flake refs. Now it is `FlakeRefs`
again.
The underlying issue that sought to work around was that completion of
arguments not at the end can still benefit from the information from
latter arguments.
To fix this better, we rip out that change and simply defer all
completion processing until after all the (regular, already-complete)
arguments have been passed.
In addition, I noticed the original completion logic used some global
variables. I do not like global variables, because even if they save
lines of code, they also obfuscate the architecture of the code.
I got rid of them moved them to a new `RootArgs` class, which now has
`parseCmdline` instead of `Args`. The idea is that we have many argument
parsers from subcommands and what-not, but only one root args that owns
the other per actual parsing invocation. The state that was global is
now part of the root args instead.
This did, admittedly, add a bunch of new code. And I do feel bad about
that. So I went and added a lot of API docs to try to at least make the
current state of things clear to the next person.
--
This is needed for RFC 134 (tracking issue #7868). It was very hard to
modularize `Installable` parsing when there were two completion
arguments. I wouldn't go as far as to say it is *easy* now, but at least
it is less hard (and the completions test finally passed).
Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>
2023-10-23 16:03:11 +03:00
|
|
|
struct LegacyArgs : public MixCommonArgs, public RootArgs
|
2017-10-24 13:45:11 +03:00
|
|
|
{
|
|
|
|
std::function<bool(Strings::iterator & arg, const Strings::iterator & end)> parseArg;
|
|
|
|
|
|
|
|
LegacyArgs(const std::string & programName,
|
|
|
|
std::function<bool(Strings::iterator & arg, const Strings::iterator & end)> parseArg);
|
|
|
|
|
|
|
|
bool processFlag(Strings::iterator & pos, Strings::iterator end) override;
|
|
|
|
|
|
|
|
bool processArgs(const Strings & args, bool finish) override;
|
|
|
|
};
|
|
|
|
|
|
|
|
|
2023-04-07 16:55:28 +03:00
|
|
|
/**
|
|
|
|
* Show the manual page for the specified program.
|
|
|
|
*/
|
2022-02-25 17:00:00 +02:00
|
|
|
void showManPage(const std::string & name);
|
2012-10-03 23:37:06 +03:00
|
|
|
|
2023-04-07 16:55:28 +03:00
|
|
|
/**
|
2023-08-31 06:44:23 +03:00
|
|
|
* The constructor of this class starts a pager if standard output is a
|
|
|
|
* terminal and $PAGER is set. Standard output is redirected to the
|
|
|
|
* pager.
|
2023-04-07 16:55:28 +03:00
|
|
|
*/
|
2014-08-20 16:12:58 +03:00
|
|
|
class RunPager
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
RunPager();
|
|
|
|
~RunPager();
|
|
|
|
|
|
|
|
private:
|
2023-09-03 00:35:16 +03:00
|
|
|
#ifndef _WIN32 // TODO re-enable on Windows, once we can start processes.
|
2014-08-20 16:12:58 +03:00
|
|
|
Pid pid;
|
2023-09-03 00:35:16 +03:00
|
|
|
#endif
|
|
|
|
Descriptor std_out;
|
2014-08-20 16:12:58 +03:00
|
|
|
};
|
|
|
|
|
2006-12-04 19:17:13 +02:00
|
|
|
extern volatile ::sig_atomic_t blockInt;
|
|
|
|
|
2015-05-21 16:21:38 +03:00
|
|
|
|
|
|
|
/* GC helpers. */
|
|
|
|
|
2022-02-25 17:00:00 +02:00
|
|
|
std::string showBytes(uint64_t bytes);
|
2015-05-21 16:21:38 +03:00
|
|
|
|
2015-09-18 02:22:06 +03:00
|
|
|
struct GCResults;
|
2015-05-21 16:21:38 +03:00
|
|
|
|
|
|
|
struct PrintFreed
|
|
|
|
{
|
|
|
|
bool show;
|
|
|
|
const GCResults & results;
|
|
|
|
PrintFreed(bool show, const GCResults & results)
|
|
|
|
: show(show), results(results) { }
|
|
|
|
~PrintFreed();
|
|
|
|
};
|
|
|
|
|
|
|
|
|
2023-09-03 00:35:16 +03:00
|
|
|
#ifndef _WIN32
|
2023-04-07 16:55:28 +03:00
|
|
|
/**
|
|
|
|
* Install a SIGSEGV handler to detect stack overflows.
|
|
|
|
*/
|
2016-02-22 15:49:15 +02:00
|
|
|
void detectStackOverflow();
|
|
|
|
|
2023-04-07 16:55:28 +03:00
|
|
|
/**
|
|
|
|
* Pluggable behavior to run in case of a stack overflow.
|
|
|
|
*
|
|
|
|
* Default value: defaultStackOverflowHandler.
|
|
|
|
*
|
|
|
|
* This is called by the handler installed by detectStackOverflow().
|
|
|
|
*
|
|
|
|
* This gives Nix library consumers a limit opportunity to report the error
|
|
|
|
* condition. The handler should exit the process.
|
|
|
|
* See defaultStackOverflowHandler() for a reference implementation.
|
|
|
|
*
|
|
|
|
* NOTE: Use with diligence, because this runs in the signal handler, with very
|
|
|
|
* limited stack space and a potentially a corrupted heap, all while the failed
|
|
|
|
* thread is blocked indefinitely. All functions called must be reentrant.
|
|
|
|
*/
|
2022-10-14 13:25:41 +03:00
|
|
|
extern std::function<void(siginfo_t * info, void * ctx)> stackOverflowHandler;
|
|
|
|
|
2023-04-07 16:55:28 +03:00
|
|
|
/**
|
|
|
|
* The default, robust implementation of stackOverflowHandler.
|
|
|
|
*
|
|
|
|
* Prints an error message directly to stderr using a syscall instead of the
|
|
|
|
* logger. Exits the process immediately after.
|
|
|
|
*/
|
2022-10-14 13:25:41 +03:00
|
|
|
void defaultStackOverflowHandler(siginfo_t * info, void * ctx);
|
2023-09-03 00:35:16 +03:00
|
|
|
#endif
|
2016-02-22 15:49:15 +02:00
|
|
|
|
2006-09-05 00:06:23 +03:00
|
|
|
}
|