daml/dev-env/bin
2019-07-25 13:54:32 +00:00
..
aws target s3 bucket with docs refresh script (#1287) 2019-05-21 22:26:07 +00:00
base64 open-sourcing daml 2019-04-04 09:33:38 +01:00
bats open-sourcing daml 2019-04-04 09:33:38 +01:00
bazel open-sourcing daml 2019-04-04 09:33:38 +01:00
bazel-api-docs open-sourcing daml 2019-04-04 09:33:38 +01:00
bazel-deps open-sourcing daml 2019-04-04 09:33:38 +01:00
bazel-project-view open-sourcing daml 2019-04-04 09:33:38 +01:00
bibtex open-sourcing daml 2019-04-04 09:33:38 +01:00
bq open-sourcing daml 2019-04-04 09:33:38 +01:00
buck-out open-sourcing daml 2019-04-04 09:33:38 +01:00
cabal2nix open-sourcing daml 2019-04-04 09:33:38 +01:00
cc Dev env fixes (#232) 2019-04-04 16:46:06 -04:00
chromedriver open-sourcing daml 2019-04-04 09:33:38 +01:00
circo open-sourcing daml 2019-04-04 09:33:38 +01:00
convert open-sourcing daml 2019-04-04 09:33:38 +01:00
coursier open-sourcing daml 2019-04-04 09:33:38 +01:00
cram open-sourcing daml 2019-04-04 09:33:38 +01:00
curl Dev env fixes (#232) 2019-04-04 16:46:06 -04:00
da-ghci Add support for da_haskell_repl targets in da-ghci (#1847) 2019-06-24 16:39:41 +01:00
da-ghcid Load core-package dependencies in da-ghci (#1712) 2019-06-17 12:56:33 +00:00
da-install-git-hooks open-sourcing daml 2019-04-04 09:33:38 +01:00
da-test-haskell-update-expected open-sourcing daml 2019-04-04 09:33:38 +01:00
da-update-python-srcs open-sourcing daml 2019-04-04 09:33:38 +01:00
da-virtualenv open-sourcing daml 2019-04-04 09:33:38 +01:00
dad-add-source-dep.sh open-sourcing daml 2019-04-04 09:33:38 +01:00
dade open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-assist open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-closure-size open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-collect-garbage dade-collect-garbage to delete ~/.bazel-cache as part of the cleanup (#1061) 2019-05-09 16:09:29 -04:00
dade-copyright-headers Unify semantic test between sandbox IT and Ledger API Test Tool (#1171) 2019-05-28 09:58:58 +00:00
dade-env open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-freeze open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-help open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-info open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-init open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-list open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-list-broken-symlinks open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-pipenv-lock open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-preload open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-prepare-for-update open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-raw-preload open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-release-tool open-sourcing daml 2019-04-04 09:33:38 +01:00
dade-test-sh open-sourcing daml 2019-04-04 09:33:38 +01:00
daml-sdk-head fix shebang line in daml-sdk-head (#2288) 2019-07-25 13:54:32 +00:00
data-uri open-sourcing daml 2019-04-04 09:33:38 +01:00
dependency-check open-sourcing daml 2019-04-04 09:33:38 +01:00
docker-credential-gcr add docker-credential-gcr to dev-env (#1533) 2019-06-05 19:36:31 -04:00
dot open-sourcing daml 2019-04-04 09:33:38 +01:00
fdp open-sourcing daml 2019-04-04 09:33:38 +01:00
flake8 open-sourcing daml 2019-04-04 09:33:38 +01:00
fsc open-sourcing daml 2019-04-04 09:33:38 +01:00
gawk open-sourcing daml 2019-04-04 09:33:38 +01:00
gcloud open-sourcing daml 2019-04-04 09:33:38 +01:00
ghci open-sourcing daml 2019-04-04 09:33:38 +01:00
ghcid open-sourcing daml 2019-04-04 09:33:38 +01:00
gpg Fixes #1204: Release bindings and codegens to Maven Central. (#1205) 2019-06-17 15:37:49 +02:00
gradle open-sourcing daml 2019-04-04 09:33:38 +01:00
grpcurl open-sourcing daml 2019-04-04 09:33:38 +01:00
gsutil open-sourcing daml 2019-04-04 09:33:38 +01:00
hlint open-sourcing daml 2019-04-04 09:33:38 +01:00
hub-detect open-sourcing daml 2019-04-04 09:33:38 +01:00
ibazel open-sourcing daml 2019-04-04 09:33:38 +01:00
ipython open-sourcing daml 2019-04-04 09:33:38 +01:00
jar open-sourcing daml 2019-04-04 09:33:38 +01:00
java open-sourcing daml 2019-04-04 09:33:38 +01:00
javac open-sourcing daml 2019-04-04 09:33:38 +01:00
jfrog open-sourcing daml 2019-04-04 09:33:38 +01:00
jinfo open-sourcing daml 2019-04-04 09:33:38 +01:00
jmap open-sourcing daml 2019-04-04 09:33:38 +01:00
jo open-sourcing daml 2019-04-04 09:33:38 +01:00
jq correct jq in dev-env (#463) 2019-04-12 16:44:15 -04:00
jstack open-sourcing daml 2019-04-04 09:33:38 +01:00
latexmk open-sourcing daml 2019-04-04 09:33:38 +01:00
license-checker open-sourcing daml 2019-04-04 09:33:38 +01:00
live-server open-sourcing daml 2019-04-04 09:33:38 +01:00
lualatex open-sourcing daml 2019-04-04 09:33:38 +01:00
m4 open-sourcing daml 2019-04-04 09:33:38 +01:00
make open-sourcing daml 2019-04-04 09:33:38 +01:00
makeindex open-sourcing daml 2019-04-04 09:33:38 +01:00
mvn open-sourcing daml 2019-04-04 09:33:38 +01:00
nix-prefetch-git open-sourcing daml 2019-04-04 09:33:38 +01:00
nix-update-src-json open-sourcing daml 2019-04-04 09:33:38 +01:00
node open-sourcing daml 2019-04-04 09:33:38 +01:00
node2nix open-sourcing daml 2019-04-04 09:33:38 +01:00
npm open-sourcing daml 2019-04-04 09:33:38 +01:00
openssl open-sourcing daml 2019-04-04 09:33:38 +01:00
osht open-sourcing daml 2019-04-04 09:33:38 +01:00
pandoc open-sourcing daml 2019-04-04 09:33:38 +01:00
patch open-sourcing daml 2019-04-04 09:33:38 +01:00
patchelf open-sourcing daml 2019-04-04 09:33:38 +01:00
pdflatex open-sourcing daml 2019-04-04 09:33:38 +01:00
pex open-sourcing daml 2019-04-04 09:33:38 +01:00
pip3 open-sourcing daml 2019-04-04 09:33:38 +01:00
pip3.6 open-sourcing daml 2019-04-04 09:33:38 +01:00
pipenv open-sourcing daml 2019-04-04 09:33:38 +01:00
protoc open-sourcing daml 2019-04-04 09:33:38 +01:00
pypi2nix open-sourcing daml 2019-04-04 09:33:38 +01:00
python open-sourcing daml 2019-04-04 09:33:38 +01:00
python3 open-sourcing daml 2019-04-04 09:33:38 +01:00
python3.6 open-sourcing daml 2019-04-04 09:33:38 +01:00
python3.6-da open-sourcing daml 2019-04-04 09:33:38 +01:00
README.md open-sourcing daml 2019-04-04 09:33:38 +01:00
runpipenv open-sourcing daml 2019-04-04 09:33:38 +01:00
sass open-sourcing daml 2019-04-04 09:33:38 +01:00
sbt add sbt to dev-env (#964) 2019-05-07 09:27:38 -04:00
scala open-sourcing daml 2019-04-04 09:33:38 +01:00
scalac open-sourcing daml 2019-04-04 09:33:38 +01:00
scaladoc open-sourcing daml 2019-04-04 09:33:38 +01:00
scalafmt open-sourcing daml 2019-04-04 09:33:38 +01:00
scalap open-sourcing daml 2019-04-04 09:33:38 +01:00
semver open-sourcing daml 2019-04-04 09:33:38 +01:00
sha1sum open-sourcing daml 2019-04-04 09:33:38 +01:00
shellcheck open-sourcing daml 2019-04-04 09:33:38 +01:00
sphinx-autobuild open-sourcing daml 2019-04-04 09:33:38 +01:00
sphinx-build open-sourcing daml 2019-04-04 09:33:38 +01:00
sphinx-quickstart open-sourcing daml 2019-04-04 09:33:38 +01:00
terraform open-sourcing daml 2019-04-04 09:33:38 +01:00
thrift open-sourcing daml 2019-04-04 09:33:38 +01:00
tlc2 open-sourcing daml 2019-04-04 09:33:38 +01:00
tred open-sourcing daml 2019-04-04 09:33:38 +01:00
unflatten open-sourcing daml 2019-04-04 09:33:38 +01:00
update-bazel-deps open-sourcing daml 2019-04-04 09:33:38 +01:00
wget open-sourcing daml 2019-04-04 09:33:38 +01:00
xmlstarlet open-sourcing daml 2019-04-04 09:33:38 +01:00
xxd open-sourcing daml 2019-04-04 09:33:38 +01:00
yapf open-sourcing daml 2019-04-04 09:33:38 +01:00
yarn open-sourcing daml 2019-04-04 09:33:38 +01:00
zinc open-sourcing daml 2019-04-04 09:33:38 +01:00
zip open-sourcing daml 2019-04-04 09:33:38 +01:00

dade-nix-install

This tool installs DA-built Nix distribution for MacOS X or Linux. It downloads the release from:

Runtime prerequisites:

  • uname, mktemp, tar, curl, awk to download and perform installation
  • sudo needed if and only if /nix/store is not present or is not owned by the current user.

Notes:

  • the script checks for High Sierra induced failure of Nix and would reinstall Nix installation automatically in this case.

dade-raw-preload

This tool is meant to be run from a root account and precache all relevant dev-env provided tools on a given machine. It finds the right user to impersonate and downloads most recently built tools from hydra.da-int.net.

Runtime prerequisites:

  • Nix installed in a single-user mode (e.g. via dade-nix-install)
  • uname and awk to detect OS and architecture
  • sudo to perform the prefetch from under the owner of the /nix/store

It is used to preload dev-env caches on developers workstations. A developer can create a file which would disable the automatic precaching:

touch $HOME/.dade-raw-preload.skip

Note: downloaded tools are not added to Nix garbage collection roots, hence will get deleted with next nix-collect-garbage invocation.

Non-code dependencies:

Used by:

Tested by:

Implementation sketch:

  • finds out the Nix store owner;
  • checks for the skip file;
  • finds the user's Nix profile and sources it;
  • creates a temporary nix.conf to ensure hydra.da-int.net is used;
  • sets up a temporary nix-shell with required tools (e.g. jq);
  • fetches all store paths from all last evaluations of all jobsets;
  • downloads them (aka "realizes" with nix-store -r).

Wrapped tools

Once the dev-env is set up (either through direnv (recommended), or through manually sourcing one of dev-env/profile_{z,ba}sh.sh), the shell's PATH will look through dev-env/bin first for its executables. The executables in there are mostly scripts that redirect the call to the corresponding nix-built executable. However, having that script gives us an opportunity to wrap some of those commands in special ways; this section is meant to document in what ways the commands available in dev-env/bin have been modified from their vanilla variants.