Andreas Herrmann f64b63f7a3 Ensure that dev-env is in PATH for other dev-env tools (#2127) ... This is relevant for users of the IntelliJ bazel plugin. It is common to start IntelliJ via the GUI such that the dev-env is not loaded for IntelliJ. The bazel plugin is then configured to execute the dev-env bazel by entering the path into the corresponding configuration option. However, this bazel is then executed without the dev-env tools in PATH. Some of the repository rules expect certain dev-env tools in PATH, e.g. python3. Those will then fail. This patch ensures that the dev-env is loaded when executing dev-env tools from outside the dev-env.		2019-07-15 15:29:00 +02:00
..
dade-base-profile	open-sourcing daml	2019-04-04 09:33:38 +01:00
dade-common	Ensure that dev-env is in PATH for other dev-env tools (#2127)	2019-07-15 15:29:00 +02:00
dade-dump-profile	open-sourcing daml	2019-04-04 09:33:38 +01:00
dade-exec-nix-bin-tool	open-sourcing daml	2019-04-04 09:33:38 +01:00
dade-exec-nix-tool	open-sourcing daml	2019-04-04 09:33:38 +01:00
ensure-nix	open-sourcing daml	2019-04-04 09:33:38 +01:00