diff --git a/hosts/parsons/configuration.nix b/hosts/parsons/configuration.nix index c41dfa0..615d5ee 100644 --- a/hosts/parsons/configuration.nix +++ b/hosts/parsons/configuration.nix @@ -21,6 +21,7 @@ ../../services/gitlab-runner.nix ../../services/unifi.nix ../../services/lantifa.nix + ../../services/pluto.nix ./lxc.nix ]; diff --git a/pkgs/pluto/Manifest.toml b/pkgs/pluto/Manifest.toml new file mode 100644 index 0000000..e8c3be9 --- /dev/null +++ b/pkgs/pluto/Manifest.toml @@ -0,0 +1,199 @@ +# This file is machine-generated - editing it directly is not advised + +[[Artifacts]] +deps = ["Pkg"] +git-tree-sha1 = "c30985d8821e0cd73870b17b0ed0ce6dc44cb744" +uuid = "56f22d72-fd6d-98f1-02f0-08ddc0907c33" +version = "1.3.0" + +[[Base64]] +uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f" + +[[Configurations]] +deps = ["Crayons", "ExproniconLite", "OrderedCollections", "TOML"] +git-tree-sha1 = "b8486a417456d2fbbe2af13e24cef459c9f42429" +uuid = "5218b696-f38b-4ac9-8b61-a12ec717816d" +version = "0.15.4" + +[[Crayons]] +git-tree-sha1 = "3f71217b538d7aaee0b69ab47d9b7724ca8afa0d" +uuid = "a8cc5b0e-0ffa-5ad4-8c14-923d3ee1735f" +version = "4.0.4" + +[[DataAPI]] +git-tree-sha1 = "dfb3b7e89e395be1e25c2ad6d7690dc29cc53b1d" +uuid = "9a962f9c-6df0-11e9-0e5d-c546b8b5ee8a" +version = "1.6.0" + +[[DataValueInterfaces]] +git-tree-sha1 = "bfc1187b79289637fa0ef6d4436ebdfe6905cbd6" +uuid = "e2d170a0-9d28-54be-80f0-106bbe20a464" +version = "1.0.0" + +[[Dates]] +deps = ["Printf"] +uuid = "ade2ca70-3891-5945-98fb-dc099432e06a" + +[[Distributed]] +deps = ["Random", "Serialization", "Sockets"] +uuid = "8ba89e20-285c-5b6f-9357-94700520ee1b" + +[[ExproniconLite]] +git-tree-sha1 = "c97ce5069033ac15093dc44222e3ecb0d3af8966" +uuid = "55351af7-c7e9-48d6-89ff-24e801d99491" +version = "0.6.9" + +[[FuzzyCompletions]] +deps = ["REPL"] +git-tree-sha1 = "9cde086faa37f32794be3d2df393ff064d43cd66" +uuid = "fb4132e2-a121-4a70-b8a1-d5b831dcdcc2" +version = "0.4.1" + +[[HTTP]] +deps = ["Base64", "Dates", "IniFile", "MbedTLS", "NetworkOptions", "Sockets", "URIs"] +git-tree-sha1 = "b855bf8247d6e946c75bb30f593bfe7fe591058d" +uuid = "cd3eb016-35fb-5094-929b-558a96fad6f3" +version = "0.9.8" + +[[IniFile]] +deps = ["Test"] +git-tree-sha1 = "098e4d2c533924c921f9f9847274f2ad89e018b8" +uuid = "83e8ac13-25f8-5344-8a64-a9f2b223428f" +version = "0.5.0" + +[[InteractiveUtils]] +deps = ["Markdown"] +uuid = "b77e0a4c-d291-57a0-90e8-8db25a27a240" + +[[IteratorInterfaceExtensions]] +git-tree-sha1 = "a3f24677c21f5bbe9d2a714f95dcd58337fb2856" +uuid = "82899510-4779-5014-852e-03e436cf321d" +version = "1.0.0" + +[[JLLWrappers]] +deps = ["Preferences"] +git-tree-sha1 = "642a199af8b68253517b80bd3bfd17eb4e84df6e" +uuid = "692b3bcd-3c85-4b1f-b108-f13ce0eb3210" +version = "1.3.0" + +[[LibGit2]] +deps = ["Printf"] +uuid = "76f85450-5226-5b5a-8eaa-529ad045b433" + +[[Libdl]] +uuid = "8f399da3-3557-5675-b5ff-fb832c97cbdb" + +[[LinearAlgebra]] +deps = ["Libdl"] +uuid = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e" + +[[Logging]] +uuid = "56ddb016-857b-54e1-b83d-db4d58db5568" + +[[Markdown]] +deps = ["Base64"] +uuid = "d6f4376e-aef5-505a-96c1-9c027394607a" + +[[MbedTLS]] +deps = ["Dates", "MbedTLS_jll", "Random", "Sockets"] +git-tree-sha1 = "1c38e51c3d08ef2278062ebceade0e46cefc96fe" +uuid = "739be429-bea8-5141-9913-cc70e7f3736d" +version = "1.0.3" + +[[MbedTLS_jll]] +deps = ["Artifacts", "JLLWrappers", "Libdl", "Pkg"] +git-tree-sha1 = "0eef589dd1c26a3ac9d753fe1a8bcad63f956fa6" +uuid = "c8ffd9c3-330d-5841-b78e-0817d7145fa1" +version = "2.16.8+1" + +[[MsgPack]] +deps = ["Serialization"] +git-tree-sha1 = "a8cbf066b54d793b9a48c5daa5d586cf2b5bd43d" +uuid = "99f44e22-a591-53d1-9472-aa23ef4bd671" +version = "1.1.0" + +[[NetworkOptions]] +git-tree-sha1 = "ed3157f48a05543cce9b241e1f2815f7e843d96e" +uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908" +version = "1.2.0" + +[[OrderedCollections]] +git-tree-sha1 = "85f8e6578bf1f9ee0d11e7bb1b1456435479d47c" +uuid = "bac558e1-5e72-5ebc-8fee-abe8a469f55d" +version = "1.4.1" + +[[Pkg]] +deps = ["Dates", "LibGit2", "Libdl", "Logging", "Markdown", "Printf", "REPL", "Random", "SHA", "UUIDs"] +uuid = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f" + +[[Pluto]] +deps = ["Base64", "Configurations", "Dates", "Distributed", "FuzzyCompletions", "HTTP", "InteractiveUtils", "Logging", "Markdown", "MsgPack", "Pkg", "REPL", "Sockets", "TableIOInterface", "Tables", "UUIDs"] +git-tree-sha1 = "85156b21dee3a4515ff479555eb958ad33c057aa" +uuid = "c3e4b0f8-55cb-11ea-2926-15256bba5781" +version = "0.14.5" + +[[Preferences]] +deps = ["TOML"] +git-tree-sha1 = "00cfd92944ca9c760982747e9a1d0d5d86ab1e5a" +uuid = "21216c6a-2e73-6563-6e65-726566657250" +version = "1.2.2" + +[[Printf]] +deps = ["Unicode"] +uuid = "de0858da-6303-5e67-8744-51eddeeeb8d7" + +[[REPL]] +deps = ["InteractiveUtils", "Markdown", "Sockets"] +uuid = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb" + +[[Random]] +deps = ["Serialization"] +uuid = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c" + +[[SHA]] +uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce" + +[[Serialization]] +uuid = "9e88b42a-f829-5b0c-bbe9-9e923198166b" + +[[Sockets]] +uuid = "6462fe0b-24de-5631-8697-dd941f90decc" + +[[TOML]] +deps = ["Dates"] +git-tree-sha1 = "44aaac2d2aec4a850302f9aa69127c74f0c3787e" +uuid = "fa267f1f-6049-4f14-aa54-33bafae1ed76" +version = "1.0.3" + +[[TableIOInterface]] +git-tree-sha1 = "9a0d3ab8afd14f33a35af7391491ff3104401a35" +uuid = "d1efa939-5518-4425-949f-ab857e148477" +version = "0.1.6" + +[[TableTraits]] +deps = ["IteratorInterfaceExtensions"] +git-tree-sha1 = "c06b2f539df1c6efa794486abfb6ed2022561a39" +uuid = "3783bdb8-4a98-5b6b-af9a-565f29a5fe9c" +version = "1.0.1" + +[[Tables]] +deps = ["DataAPI", "DataValueInterfaces", "IteratorInterfaceExtensions", "LinearAlgebra", "TableTraits", "Test"] +git-tree-sha1 = "c9d2d262e9a327be1f35844df25fe4561d258dc9" +uuid = "bd369af6-aec1-5ad0-b16a-f7cc5008161c" +version = "1.4.2" + +[[Test]] +deps = ["Distributed", "InteractiveUtils", "Logging", "Random"] +uuid = "8dfed614-e22c-5e08-85e1-65c5234f0b40" + +[[URIs]] +git-tree-sha1 = "97bbe755a53fe859669cd907f2d96aee8d2c1355" +uuid = "5c2747f8-b7ea-4ff2-ba2e-563bfd36b1d4" +version = "1.3.0" + +[[UUIDs]] +deps = ["Random", "SHA"] +uuid = "cf7118a7-6976-5b1a-9a39-7adc72f591a4" + +[[Unicode]] +uuid = "4ec0a83e-493e-50e2-b9ac-8f72acf5a8f5" diff --git a/pkgs/pluto/Project.toml b/pkgs/pluto/Project.toml new file mode 100644 index 0000000..c39603e --- /dev/null +++ b/pkgs/pluto/Project.toml @@ -0,0 +1,2 @@ +[deps] +Pluto = "c3e4b0f8-55cb-11ea-2926-15256bba5781" diff --git a/pkgs/pluto/Readme.org b/pkgs/pluto/Readme.org new file mode 100644 index 0000000..6903181 --- /dev/null +++ b/pkgs/pluto/Readme.org @@ -0,0 +1,50 @@ +#+TITLE: Pluto standalone + +This is a nix derivation that wraps a version of julia with the packages +(and their dependency closure) defined in ~Packages.toml~; currently +this is just Pluto. It also provides a little julia script that will +activate this packageset (called a "julia depot"), and then start a +Pluto notebook server on port 9999. Note that it does so without setting +up any kind of authenticaton, so don't expose that port! + +* TODOs +- [ ] add more packages +- [ ] more sensible auth +- [ ] working precompilation; this would probably allow running this + without a writable julia depot + +* Steps to reproduce / update the julia-to-nix part of this: + +In general, it is enough to follow the readme of julia2nix, but since +that has a bunch of unstated assumptions and weird failure modes, here's a rough outline of how to actually do it: + - using julia's package managing mode, make changes to ~Packages.toml~ + and ~Manifest.toml~. Be sure to use the same version of julia that + will run on hainich (currently the ~julia_15~ package of + nixpkgs-unstable), as otherwise hashes may be different + - clone https://github.com/thomasjm/julia2nix somewhere + - run ~julia2nix~ to generate the nix derivations + + unfortunately, jula2nix assumes that nixpkgs-unstable is available + as ~~ from within nix; it may fail if you are on another + channel. In that case, there seems to be no better solution than grepping for occurences of "" in jula2nix and replacing + them with some other path that has the required version + + this will re-generate all the ~*.nix~ files in this directory, and + probably reset all options. The defaults are reasonably sensible, + but make sure to disable the ~precompile~ option in ~default.nix~ + (see below for why) + - run ~nix-build --no-out-link~ to check if it worked and nix can + build the julia depot + - deploy hainich. Note that the derivation will only contain the + package sources, not a compiled version. Julia will compile packages + on startup (and cache them for subsequent runs), so after the deploy + it may take a minute or two to actually run Pluto + +* precompilation +/In theory/, we should be able to precompile all the packages during +nix-build, and then directly load them into julia and runtime. +However, this currently fails, and even if precompiled packages are +present in the depot built via nix, julia will refuse to use them and +recompile them instead (in a second julia depot that is writable at +runtime). + +There's an open issue on this at jula2nix: + https://github.com/thomasjm/julia2nix/issues/22 diff --git a/pkgs/pluto/common.nix b/pkgs/pluto/common.nix new file mode 100644 index 0000000..305aa46 --- /dev/null +++ b/pkgs/pluto/common.nix @@ -0,0 +1,160 @@ +{ + callPackage, + curl, + fetchurl, + git, + stdenvNoCC, + cacert, + jq, + julia, + lib, + python3, + runCommand, + stdenv, + writeText, + makeWrapper, + + # Arguments + makeWrapperArgs ? "", + precompile ? true, + extraBuildInputs ? [] +}: + +let + # We need to use a specially modified fetchgit that understands tree hashes, until + # https://github.com/NixOS/nixpkgs/pull/104714 lands + fetchgit = callPackage ./fetchgit {}; + + packages = callPackage ./packages.nix {}; + + ### Repoify packages + # This step is needed because leaveDotGit is not reproducible + # https://github.com/NixOS/nixpkgs/issues/8567 + repoified = map (item: if item.src == null then item else item // { src = repoify item.name item.treehash item.src; }) packages.closure; + repoify = name: treehash: src: + runCommand ''${name}-repoified'' {buildInputs = [git];} '' + mkdir -p $out + cp -r ${src}/. $out + cd $out + git init + git add . -f + git config user.email "julia2nix@localhost" + git config user.name "julia2nix" + git commit -m "Dummy commit" + + if [[ -n "${treehash}" ]]; then + if [[ $(git cat-file -t ${treehash}) != "tree" ]]; then + echo "Couldn't find desired tree object for ${name} in repoify (${treehash})" + exit 1 + fi + fi + ''; + repoifiedReplaceInManifest = lib.filter (x: x.replaceUrlInManifest != null) repoified; + + ### Manifest.toml (processed) + manifestToml = runCommand "Manifest.toml" { buildInputs = [jq]; } '' + cp ${./Manifest.toml} ./Manifest.toml + + echo ${writeText "packages.json" (lib.generators.toJSON {} repoifiedReplaceInManifest)} + cat ${writeText "packages.json" (lib.generators.toJSON {} repoifiedReplaceInManifest)} | jq -r '.[]|[.name, .replaceUrlInManifest, .src] | @tsv' | + while IFS=$'\t' read -r name replaceUrlInManifest src; do + sed -i "s|$replaceUrlInManifest|file://$src|g" ./Manifest.toml + done + + cp ./Manifest.toml $out + ''; + + ### Overrides.toml + fetchArtifact = x: stdenv.mkDerivation { + name = x.name; + src = fetchurl { url = x.url; sha256 = x.sha256; }; + sourceRoot = "."; + dontConfigure = true; + dontBuild = true; + installPhase = "cp -r . $out"; + dontFixup = true; + }; + artifactOverrides = lib.zipAttrsWith (name: values: fetchArtifact (lib.head (lib.head values))) ( + map (item: item.artifacts) packages.closure + ); + overridesToml = runCommand "Overrides.toml" { buildInputs = [jq]; } '' + echo '${lib.generators.toJSON {} artifactOverrides}' | jq -r '. | to_entries | map ((.key + " = \"" + .value + "\"")) | .[]' > $out + ''; + + ### Processed registry + generalRegistrySrc = repoify "julia-general" "" (fetchgit { + url = packages.registryUrl; + rev = packages.registryRev; + sha256 = packages.registrySha256; + branchName = "master"; + }); + registry = runCommand "julia-registry" { buildInputs = [(python3.withPackages (ps: [ps.toml])) jq git]; } '' + git clone ${generalRegistrySrc}/. $out + cd $out + + cat ${writeText "packages.json" (lib.generators.toJSON {} repoified)} | jq -r '.[]|[.name, .path, .src] | @tsv' | + while IFS=$'\t' read -r name path src; do + # echo "Processing: $name, $path, $src" + if [[ "$path" != "null" ]]; then + python -c "import toml; \ + packageTomlPath = '$path/Package.toml'; \ + contents = toml.load(packageTomlPath); \ + contents['repo'] = 'file://$src'; \ + f = open(packageTomlPath, 'w'); \ + f.write(toml.dumps(contents)); \ + " + fi + done + + export HOME=$(pwd) + git config --global user.email "julia-to-nix-depot@email.com" + git config --global user.name "julia-to-nix-depot script" + git add . + git commit -m "Switch to local package repos" + ''; + + depot = runCommand "julia-depot" { + buildInputs = [git curl julia] ++ extraBuildInputs; + inherit registry precompile; + } '' + export HOME=$(pwd) + + echo "Using registry $registry" + echo "Using Julia ${julia}/bin/julia" + + cp ${manifestToml} ./Manifest.toml + cp ${./Project.toml} ./Project.toml + + mkdir -p $out/artifacts + cp ${overridesToml} $out/artifacts/Overrides.toml + + export JULIA_DEPOT_PATH=$out + julia -e ' \ + using Pkg + Pkg.Registry.add(RegistrySpec(path="${registry}")) + + Pkg.activate(".") + Pkg.instantiate() + + # Remove the registry to save space + Pkg.Registry.rm("General") + ' + + if [[ -n "$precompile" ]]; then + julia -e ' \ + using Pkg + Pkg.activate(".") + Pkg.precompile() + ' + fi + ''; + +in + +runCommand "julia-env" { + inherit julia depot makeWrapperArgs; + buildInputs = [makeWrapper]; +} '' + mkdir -p $out/bin + makeWrapper $julia/bin/julia $out/bin/julia --suffix JULIA_DEPOT_PATH : "$depot" $makeWrapperArgs +'' diff --git a/pkgs/pluto/default.nix b/pkgs/pluto/default.nix new file mode 100644 index 0000000..4a8f0fd --- /dev/null +++ b/pkgs/pluto/default.nix @@ -0,0 +1,44 @@ +{ pkgs }: + +with pkgs; + + +let + # The base Julia version + baseJulia = julia_15; + + # Extra libraries for Julia's LD_LIBRARY_PATH. + # Recent Julia packages that use Artifacts.toml to specify their dependencies + # shouldn't need this. + # But if a package implicitly depends on some library being present at runtime, you can + # add it here. + extraLibs = []; + + # Wrapped Julia with libraries and environment variables. + # Note: setting The PYTHON environment variable is recommended to prevent packages + # from trying to obtain their own with Conda. + julia = runCommand "julia-wrapped" { buildInputs = [makeWrapper]; } '' + mkdir -p $out/bin + makeWrapper ${baseJulia}/bin/julia $out/bin/julia \ + --suffix LD_LIBRARY_PATH : "${lib.makeLibraryPath extraLibs}" \ + --set PYTHON ${python3}/bin/python + ''; + +in + +callPackage ./common.nix { + inherit julia; + + # Run Pkg.precompile() to precompile all packages? + precompile = false; + + # Extra arguments to makeWrapper when creating the final Julia wrapper. + # By default, it will just put the new depot at the end of JULIA_DEPOT_PATH. + # You can add additional flags here. + makeWrapperArgs = ""; + + # Extra buildInputs for building the Julia depot. Useful if your packages have + # additional build-time dependencies not managed through the Artifacts.toml system. + # Defaults to extraLibs, but can be configured independently. + extraBuildInputs = extraLibs; +} diff --git a/pkgs/pluto/fetchgit/builder.sh b/pkgs/pluto/fetchgit/builder.sh new file mode 100644 index 0000000..6ae4646 --- /dev/null +++ b/pkgs/pluto/fetchgit/builder.sh @@ -0,0 +1,16 @@ +# tested so far with: +# - no revision specified and remote has a HEAD which is used +# - revision specified and remote has a HEAD +# - revision specified and remote without HEAD +source $stdenv/setup + +header "exporting $url (rev $rev) into $out" + +$SHELL $fetcher --builder --url "$url" --out "$out" --rev "$rev" \ + ${leaveDotGit:+--leave-dotGit} \ + ${deepClone:+--deepClone} \ + ${fetchSubmodules:+--fetch-submodules} \ + ${branchName:+--branch-name "$branchName"} + +runHook postFetch +stopNest diff --git a/pkgs/pluto/fetchgit/default.nix b/pkgs/pluto/fetchgit/default.nix new file mode 100644 index 0000000..0405951 --- /dev/null +++ b/pkgs/pluto/fetchgit/default.nix @@ -0,0 +1,71 @@ +{stdenvNoCC, git, cacert}: let + urlToName = url: rev: let + inherit (stdenvNoCC.lib) removeSuffix splitString last; + base = last (splitString ":" (baseNameOf (removeSuffix "/" url))); + + matched = builtins.match "(.*).git" base; + + short = builtins.substring 0 7 rev; + + appendShort = if (builtins.match "[a-f0-9]*" rev) != null + then "-${short}" + else ""; + in "${if matched == null then base else builtins.head matched}${appendShort}"; +in +{ url, rev ? "HEAD", md5 ? "", sha256 ? "", leaveDotGit ? deepClone +, fetchSubmodules ? true, deepClone ? false +, branchName ? null +, name ? urlToName url rev +, # Shell code executed after the file has been fetched + # successfully. This can do things like check or transform the file. + postFetch ? "" +, preferLocalBuild ? true +}: + +/* NOTE: + fetchgit has one problem: git fetch only works for refs. + This is because fetching arbitrary (maybe dangling) commits may be a security risk + and checking whether a commit belongs to a ref is expensive. This may + change in the future when some caching is added to git (?) + Usually refs are either tags (refs/tags/*) or branches (refs/heads/*) + Cloning branches will make the hash check fail when there is an update. + But not all patches we want can be accessed by tags. + + The workaround is getting the last n commits so that it's likely that they + still contain the hash we want. + + for now : increase depth iteratively (TODO) + + real fix: ask git folks to add a + git fetch $HASH contained in $BRANCH + facility because checking that $HASH is contained in $BRANCH is less + expensive than fetching --depth $N. + Even if git folks implemented this feature soon it may take years until + server admins start using the new version? +*/ + +assert deepClone -> leaveDotGit; + +if md5 != "" then + throw "fetchgit does not support md5 anymore, please use sha256" +else +stdenvNoCC.mkDerivation { + inherit name; + builder = ./builder.sh; + fetcher = ./nix-prefetch-git; # This must be a string to ensure it's called with bash. + nativeBuildInputs = [git]; + + outputHashAlgo = "sha256"; + outputHashMode = "recursive"; + outputHash = sha256; + + inherit url rev leaveDotGit fetchSubmodules deepClone branchName postFetch; + + GIT_SSL_CAINFO = "${cacert}/etc/ssl/certs/ca-bundle.crt"; + + impureEnvVars = stdenvNoCC.lib.fetchers.proxyImpureEnvVars ++ [ + "GIT_PROXY_COMMAND" "SOCKS_SERVER" + ]; + + inherit preferLocalBuild; +} diff --git a/pkgs/pluto/fetchgit/nix-prefetch-git b/pkgs/pluto/fetchgit/nix-prefetch-git new file mode 100755 index 0000000..7ece68d --- /dev/null +++ b/pkgs/pluto/fetchgit/nix-prefetch-git @@ -0,0 +1,459 @@ +#! /usr/bin/env bash + +set -e -o pipefail + +url= +rev= +expHash= +hashType=$NIX_HASH_ALGO +deepClone=$NIX_PREFETCH_GIT_DEEP_CLONE +leaveDotGit=$NIX_PREFETCH_GIT_LEAVE_DOT_GIT +fetchSubmodules= +builder= +branchName=$NIX_PREFETCH_GIT_BRANCH_NAME + +# ENV params +out=${out:-} +http_proxy=${http_proxy:-} + +# populated by clone_user_rev() +fullRev= +humanReadableRev= +commitDate= +commitDateStrict8601= + +if test -n "$deepClone"; then + deepClone=true +else + deepClone= +fi + +if test "$leaveDotGit" != 1; then + leaveDotGit= +else + leaveDotGit=true +fi + +usage(){ + echo >&2 "syntax: nix-prefetch-git [options] [URL [REVISION [EXPECTED-HASH]]] + +Options: + --out path Path where the output would be stored. + --url url Any url understood by 'git clone'. + --rev ref Any sha1 or references (such as refs/heads/master) + --hash h Expected hash. + --branch-name Branch name to check out into + --deepClone Clone the entire repository. + --no-deepClone Make a shallow clone of just the required ref. + --leave-dotGit Keep the .git directories. + --fetch-submodules Fetch submodules. + --builder Clone as fetchgit does, but url, rev, and out option are mandatory. + --quiet Only print the final json summary. +" + exit 1 +} + +# some git commands print to stdout, which would contaminate our JSON output +clean_git(){ + git "$@" >&2 +} + +argi=0 +argfun="" +for arg; do + if test -z "$argfun"; then + case $arg in + --out) argfun=set_out;; + --url) argfun=set_url;; + --rev) argfun=set_rev;; + --hash) argfun=set_hashType;; + --branch-name) argfun=set_branchName;; + --deepClone) deepClone=true;; + --quiet) QUIET=true;; + --no-deepClone) deepClone=;; + --leave-dotGit) leaveDotGit=true;; + --fetch-submodules) fetchSubmodules=true;; + --builder) builder=true;; + -h|--help) usage; exit;; + *) + : $((++argi)) + case $argi in + 1) url=$arg;; + 2) rev=$arg;; + 3) expHash=$arg;; + *) exit 1;; + esac + ;; + esac + else + case $argfun in + set_*) + var=${argfun#set_} + eval $var=$arg + ;; + esac + argfun="" + fi +done + +if test -z "$url"; then + usage +fi + + +init_remote(){ + local url=$1 + clean_git init + clean_git remote add origin "$url" + ( [ -n "$http_proxy" ] && clean_git config http.proxy "$http_proxy" ) || true +} + +# Return the reference of an hash if it exists on the remote repository. +ref_from_hash(){ + local hash=$1 + git ls-remote origin | sed -n "\,$hash\t, { s,\(.*\)\t\(.*\),\2,; p; q}" +} + +# Return the hash of a reference if it exists on the remote repository. +hash_from_ref(){ + local ref=$1 + git ls-remote origin | sed -n "\,\t$ref, { s,\(.*\)\t\(.*\),\1,; p; q}" +} + +# Returns a name based on the url and reference +# +# This function needs to be in sync with nix's fetchgit implementation +# of urlToName() to re-use the same nix store paths. +url_to_name(){ + local url=$1 + local ref=$2 + local base + base=$(basename "$url" .git | cut -d: -f2) + + if [[ $ref =~ ^[a-z0-9]+$ ]]; then + echo "$base-${ref:0:7}" + else + echo "$base" + fi +} + +# Fetch everything and checkout the right sha1 +checkout_hash(){ + local hash="$1" + local ref="$2" + + if test -z "$hash"; then + hash=$(hash_from_ref "$ref") + fi + + clean_git fetch -t ${builder:+--progress} origin || return 1 + + local object_type=$(git cat-file -t "$hash") + if [[ "$object_type" == "commit" ]]; then + clean_git checkout -b "$branchName" "$hash" || return 1 + elif [[ "$object_type" == "tree" ]]; then + clean_git config user.email "nix-prefetch-git@localhost" + clean_git config user.name "nix-prefetch-git" + commit_id=$(git commit-tree "$hash" -m "Commit created from tree hash $hash") + clean_git checkout -b "$branchName" "$commit_id" || return 1 + else + echo "Unrecognized git object type: $object_type" + return 1 + fi +} + +# Fetch only a branch/tag and checkout it. +checkout_ref(){ + local hash="$1" + local ref="$2" + + if [[ -n "$deepClone" ]]; then + # The caller explicitly asked for a deep clone. Deep clones + # allow "git describe" and similar tools to work. See + # https://marc.info/?l=nix-dev&m=139641582514772 + # for a discussion. + return 1 + fi + + if test -z "$ref"; then + ref=$(ref_from_hash "$hash") + fi + + if test -n "$ref"; then + # --depth option is ignored on http repository. + clean_git fetch ${builder:+--progress} --depth 1 origin +"$ref" || return 1 + clean_git checkout -b "$branchName" FETCH_HEAD || return 1 + else + return 1 + fi +} + +# Update submodules +init_submodules(){ + # Add urls into .git/config file + clean_git submodule init + + # list submodule directories and their hashes + git submodule status | + while read -r l; do + local hash + local dir + local name + local url + + # checkout each submodule + hash=$(echo "$l" | awk '{print $1}' | tr -d '-') + dir=$(echo "$l" | sed -n 's/^.[0-9a-f]\+ \(.*[^)]*\)\( (.*)\)\?$/\1/p') + name=$( + git config -f .gitmodules --get-regexp submodule\..*\.path | + sed -n "s,^\(.*\)\.path $dir\$,\\1,p") + url=$(git config --get "${name}.url") + + clone "$dir" "$url" "$hash" "" + done +} + +clone(){ + local top=$PWD + local dir="$1" + local url="$2" + local hash="$3" + local ref="$4" + + cd "$dir" + + # Initialize the repository. + init_remote "$url" + + # Download data from the repository. + checkout_ref "$hash" "$ref" || + checkout_hash "$hash" "$ref" || ( + echo 1>&2 "Unable to checkout $hash$ref from $url." + exit 1 + ) + + # Checkout linked sources. + if test -n "$fetchSubmodules"; then + init_submodules + fi + + if [ -z "$builder" ] && [ -f .topdeps ]; then + if tg help &>/dev/null; then + echo "populating TopGit branches..." + tg remote --populate origin + else + echo "WARNING: would populate TopGit branches but TopGit is not available" >&2 + echo "WARNING: install TopGit to fix the problem" >&2 + fi + fi + + cd "$top" +} + +# Remove all remote branches, remove tags not reachable from HEAD, do a full +# repack and then garbage collect unreferenced objects. +make_deterministic_repo(){ + local repo="$1" + + # run in sub-shell to not touch current working directory + ( + cd "$repo" + # Remove files that contain timestamps or otherwise have non-deterministic + # properties. + rm -rf .git/logs/ .git/hooks/ .git/index .git/FETCH_HEAD .git/ORIG_HEAD \ + .git/refs/remotes/origin/HEAD .git/config + + # Remove all remote branches. + git branch -r | while read -r branch; do + clean_git branch -rD "$branch" + done + + # Remove tags not reachable from HEAD. If we're exactly on a tag, don't + # delete it. + maybe_tag=$(git tag --points-at HEAD) + git tag --contains HEAD | while read -r tag; do + if [ "$tag" != "$maybe_tag" ]; then + clean_git tag -d "$tag" + fi + done + + # Do a full repack. Must run single-threaded, or else we lose determinism. + clean_git config pack.threads 1 + clean_git repack -A -d -f + rm -f .git/config + + # Garbage collect unreferenced objects. + # Note: --keep-largest-pack prevents non-deterministic ordering of packs + # listed in .git/objects/info/packs by only using a single pack + clean_git gc --prune=all --keep-largest-pack + ) +} + + +clone_user_rev() { + local dir="$1" + local url="$2" + local rev="${3:-HEAD}" + + # Perform the checkout. + case "$rev" in + HEAD|refs/*) + clone "$dir" "$url" "" "$rev" 1>&2;; + *) + if test -z "$(echo "$rev" | tr -d 0123456789abcdef)"; then + clone "$dir" "$url" "$rev" "" 1>&2 + else + # if revision is not hexadecimal it might be a tag + clone "$dir" "$url" "" "refs/tags/$rev" 1>&2 + fi;; + esac + + pushd "$dir" >/dev/null + fullRev=$( (git rev-parse "$rev" 2>/dev/null || git rev-parse "refs/heads/$branchName") | tail -n1) + humanReadableRev=$(git describe "$fullRev" 2> /dev/null || git describe --tags "$fullRev" 2> /dev/null || echo -- none --) + commitDate=$(git show -1 --no-patch --pretty=%ci "$fullRev") + commitDateStrict8601=$(git show -1 --no-patch --pretty=%cI "$fullRev") + popd >/dev/null + + # Allow doing additional processing before .git removal + eval "$NIX_PREFETCH_GIT_CHECKOUT_HOOK" + if test -z "$leaveDotGit"; then + echo "removing \`.git'..." >&2 + find "$dir" -name .git -print0 | xargs -0 rm -rf + else + find "$dir" -name .git | while read -r gitdir; do + make_deterministic_repo "$(readlink -f "$gitdir/..")" + done + fi +} + +exit_handlers=() + +run_exit_handlers() { + exit_status=$? + for handler in "${exit_handlers[@]}"; do + eval "$handler $exit_status" + done +} + +trap run_exit_handlers EXIT + +quiet_exit_handler() { + exec 2>&3 3>&- + if [ $1 -ne 0 ]; then + cat "$errfile" >&2 + fi + rm -f "$errfile" +} + +quiet_mode() { + errfile="$(mktemp "${TMPDIR:-/tmp}/git-checkout-err-XXXXXXXX")" + exit_handlers+=(quiet_exit_handler) + exec 3>&2 2>"$errfile" +} + +json_escape() { + local s="$1" + s="${s//\\/\\\\}" # \ + s="${s//\"/\\\"}" # " + s="${s//^H/\\\b}" # \b (backspace) + s="${s//^L/\\\f}" # \f (form feed) + s="${s// +/\\\n}" # \n (newline) + s="${s//^M/\\\r}" # \r (carriage return) + s="${s// /\\t}" # \t (tab) + echo "$s" +} + +print_results() { + hash="$1" + if ! test -n "$QUIET"; then + echo "" >&2 + echo "git revision is $fullRev" >&2 + if test -n "$finalPath"; then + echo "path is $finalPath" >&2 + fi + echo "git human-readable version is $humanReadableRev" >&2 + echo "Commit date is $commitDate" >&2 + if test -n "$hash"; then + echo "hash is $hash" >&2 + fi + fi + if test -n "$hash"; then + cat < /dev/null; then + finalPath= + fi + hash=$expHash + fi + + # If we don't know the hash or a path with that hash doesn't exist, + # download the file and add it to the store. + if test -z "$finalPath"; then + + tmpPath="$(mktemp -d "${TMPDIR:-/tmp}/git-checkout-tmp-XXXXXXXX")" + exit_handlers+=(remove_tmpPath) + + tmpFile="$tmpPath/$(url_to_name "$url" "$rev")" + mkdir -p "$tmpFile" + + # Perform the checkout. + clone_user_rev "$tmpFile" "$url" "$rev" + + # Compute the hash. + hash=$(nix-hash --type $hashType --base32 "$tmpFile") + + # Add the downloaded file to the Nix store. + finalPath=$(nix-store --add-fixed --recursive "$hashType" "$tmpFile") + + if test -n "$expHash" -a "$expHash" != "$hash"; then + echo "hash mismatch for URL \`$url'. Got \`$hash'; expected \`$expHash'." >&2 + exit 1 + fi + fi + + print_results "$hash" + + if test -n "$PRINT_PATH"; then + echo "$finalPath" + fi +fi diff --git a/pkgs/pluto/packages.nix b/pkgs/pluto/packages.nix new file mode 100644 index 0000000..1a7c4f1 --- /dev/null +++ b/pkgs/pluto/packages.nix @@ -0,0 +1,350 @@ +# This file is autogenerated, do not edit by hand! +{fetchgit}: { + registryUrl = "https://github.com/JuliaRegistries/General.git"; + registryRev = "c67828a86f7501f4d487607ded065dbff37ee456"; + registrySha256 = "1jsg9wf6gwfaswld0d6mm9g8i4v2nrd7265a2an9xh3zdk1blcny"; + rootPackages = ["Pluto"]; + closure = [{ + name = "Artifacts"; + uuid = "56f22d72-fd6d-98f1-02f0-08ddc0907c33"; + path = "A/Artifacts"; + replaceUrlInManifest = null; + treehash = "c30985d8821e0cd73870b17b0ed0ce6dc44cb744"; + artifacts = {}; + src = fetchgit { url = "https://github.com/JuliaPackaging/Artifacts.jl.git"; rev = "c30985d8821e0cd73870b17b0ed0ce6dc44cb744"; sha256 = "0i0s26ypiwg6zyb3aqn9kiyiblkkab1mfac9plmq2jv4hggm4jfc"; }; +} { + name = "Base64"; + uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"; + path = "null"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +} { + name = "Configurations"; + uuid = "5218b696-f38b-4ac9-8b61-a12ec717816d"; + path = "C/Configurations"; + replaceUrlInManifest = null; + treehash = "b8486a417456d2fbbe2af13e24cef459c9f42429"; + artifacts = {}; + src = fetchgit { url = "https://github.com/Roger-luo/Configurations.jl.git"; rev = "b8486a417456d2fbbe2af13e24cef459c9f42429"; sha256 = "1dz1h64nqgcv6ai70pfv2dv4mqx9rqmh08196k7j73bqlc6r00w1"; }; +} { + name = "Crayons"; + uuid = "a8cc5b0e-0ffa-5ad4-8c14-923d3ee1735f"; + path = "C/Crayons"; + replaceUrlInManifest = null; + treehash = "3f71217b538d7aaee0b69ab47d9b7724ca8afa0d"; + artifacts = {}; + src = fetchgit { url = "https://github.com/KristofferC/Crayons.jl.git"; rev = "3f71217b538d7aaee0b69ab47d9b7724ca8afa0d"; sha256 = "0v3zhjlnb2914bxcj4myl8pgb7m31p77aj2k1bckmqs96jdph10z"; }; +} { + name = "DataAPI"; + uuid = "9a962f9c-6df0-11e9-0e5d-c546b8b5ee8a"; + path = "D/DataAPI"; + replaceUrlInManifest = null; + treehash = "dfb3b7e89e395be1e25c2ad6d7690dc29cc53b1d"; + artifacts = {}; + src = fetchgit { url = "https://github.com/JuliaData/DataAPI.jl.git"; rev = "dfb3b7e89e395be1e25c2ad6d7690dc29cc53b1d"; sha256 = "14sfvkz169zcbap3gdwpj16qsap783h86fd07flfxk822abam11w"; }; +} { + name = "DataValueInterfaces"; + uuid = "e2d170a0-9d28-54be-80f0-106bbe20a464"; + path = "D/DataValueInterfaces"; + replaceUrlInManifest = null; + treehash = "bfc1187b79289637fa0ef6d4436ebdfe6905cbd6"; + artifacts = {}; + src = fetchgit { url = "https://github.com/queryverse/DataValueInterfaces.jl.git"; rev = "bfc1187b79289637fa0ef6d4436ebdfe6905cbd6"; sha256 = "0g2wj6q7jj956nx6g7dk8x7w1c4l2xcmnr1kq5x8s8fild9kslg8"; }; +} { + name = "Dates"; + uuid = "ade2ca70-3891-5945-98fb-dc099432e06a"; + path = "null"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +} { + name = "Distributed"; + uuid = "8ba89e20-285c-5b6f-9357-94700520ee1b"; + path = "null"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +} { + name = "ExproniconLite"; + uuid = "55351af7-c7e9-48d6-89ff-24e801d99491"; + path = "E/ExproniconLite"; + replaceUrlInManifest = null; + treehash = "c97ce5069033ac15093dc44222e3ecb0d3af8966"; + artifacts = {}; + src = fetchgit { url = "https://github.com/Roger-luo/ExproniconLite.jl.git"; rev = "c97ce5069033ac15093dc44222e3ecb0d3af8966"; sha256 = "0qk73k71c6v0vsq705mmxfj4vg3qslppxy5c8magaf7v5yr605iv"; }; +} { + name = "FuzzyCompletions"; + uuid = "fb4132e2-a121-4a70-b8a1-d5b831dcdcc2"; + path = "F/FuzzyCompletions"; + replaceUrlInManifest = null; + treehash = "9cde086faa37f32794be3d2df393ff064d43cd66"; + artifacts = {}; + src = fetchgit { url = "https://github.com/JunoLab/FuzzyCompletions.jl.git"; rev = "9cde086faa37f32794be3d2df393ff064d43cd66"; sha256 = "07sv88c472n6w4x7diy952igbcfm1s104ysnnvprld83312siw06"; }; +} { + name = "HTTP"; + uuid = "cd3eb016-35fb-5094-929b-558a96fad6f3"; + path = "H/HTTP"; + replaceUrlInManifest = null; + treehash = "b855bf8247d6e946c75bb30f593bfe7fe591058d"; + artifacts = {}; + src = fetchgit { url = "https://github.com/JuliaWeb/HTTP.jl.git"; rev = "b855bf8247d6e946c75bb30f593bfe7fe591058d"; sha256 = "10m7sqzm06c6pkn885gf6bjnbx4m8hcgy8lyzv15arlssrdracad"; }; +} { + name = "IniFile"; + uuid = "83e8ac13-25f8-5344-8a64-a9f2b223428f"; + path = "I/IniFile"; + replaceUrlInManifest = null; + treehash = "098e4d2c533924c921f9f9847274f2ad89e018b8"; + artifacts = {}; + src = fetchgit { url = "https://github.com/JuliaIO/IniFile.jl.git"; rev = "098e4d2c533924c921f9f9847274f2ad89e018b8"; sha256 = "19cn41w04hikrqdzlxhrgf21rfqhkvj9x1zvwh3yz9hqbf350xs9"; }; +} { + name = "InteractiveUtils"; + uuid = "b77e0a4c-d291-57a0-90e8-8db25a27a240"; + path = "null"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +} { + name = "IteratorInterfaceExtensions"; + uuid = "82899510-4779-5014-852e-03e436cf321d"; + path = "I/IteratorInterfaceExtensions"; + replaceUrlInManifest = null; + treehash = "a3f24677c21f5bbe9d2a714f95dcd58337fb2856"; + artifacts = {}; + src = fetchgit { url = "https://github.com/queryverse/IteratorInterfaceExtensions.jl.git"; rev = "a3f24677c21f5bbe9d2a714f95dcd58337fb2856"; sha256 = "1slpay1dhja8f9gy6z7b3psgvgcknn963dvfqqakvg1grk9ppa09"; }; +} { + name = "JLLWrappers"; + uuid = "692b3bcd-3c85-4b1f-b108-f13ce0eb3210"; + path = "J/JLLWrappers"; + replaceUrlInManifest = null; + treehash = "642a199af8b68253517b80bd3bfd17eb4e84df6e"; + artifacts = {}; + src = fetchgit { url = "https://github.com/JuliaPackaging/JLLWrappers.jl.git"; rev = "642a199af8b68253517b80bd3bfd17eb4e84df6e"; sha256 = "0v7xhsv9z16d657yp47vgc86ggc01i1wigqh3n0d7i1s84z7xa0h"; }; +} { + name = "LibGit2"; + uuid = "76f85450-5226-5b5a-8eaa-529ad045b433"; + path = "null"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +} { + name = "Libdl"; + uuid = "8f399da3-3557-5675-b5ff-fb832c97cbdb"; + path = "null"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +} { + name = "LinearAlgebra"; + uuid = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"; + path = "null"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +} { + name = "Logging"; + uuid = "56ddb016-857b-54e1-b83d-db4d58db5568"; + path = "null"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +} { + name = "Markdown"; + uuid = "d6f4376e-aef5-505a-96c1-9c027394607a"; + path = "null"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +} { + name = "MbedTLS"; + uuid = "739be429-bea8-5141-9913-cc70e7f3736d"; + path = "M/MbedTLS"; + replaceUrlInManifest = null; + treehash = "1c38e51c3d08ef2278062ebceade0e46cefc96fe"; + artifacts = {}; + src = fetchgit { url = "https://github.com/JuliaLang/MbedTLS.jl.git"; rev = "1c38e51c3d08ef2278062ebceade0e46cefc96fe"; sha256 = "0zjzf2r57l24n3k0gcqkvx3izwn5827iv9ak0lqix0aa5967wvfb"; }; +} { + name = "MbedTLS_jll"; + uuid = "c8ffd9c3-330d-5841-b78e-0817d7145fa1"; + path = "M/MbedTLS_jll"; + replaceUrlInManifest = null; + treehash = "0eef589dd1c26a3ac9d753fe1a8bcad63f956fa6"; + artifacts = { + "519367e9365948074c1fcc9f4365597f147a5ab7" = [{ + name = "MbedTLS"; + url = "https://github.com/JuliaBinaryWrappers/MbedTLS_jll.jl/releases/download/MbedTLS-v2.16.8+0/MbedTLS.v2.16.8.x86_64-linux-gnu.tar.gz"; + sha256 = "5968d98ac1d4fdbf44ed87b0687f916f69ab077961b3cc9ea6068e2d739bd953"; + }]; + }; + src = fetchgit { url = "https://github.com/JuliaBinaryWrappers/MbedTLS_jll.jl.git"; rev = "0eef589dd1c26a3ac9d753fe1a8bcad63f956fa6"; sha256 = "0x43cp26p4w799i1cy4j72l5b1dyqcsab98qjw6yydxk2wha5vw4"; }; +} { + name = "MsgPack"; + uuid = "99f44e22-a591-53d1-9472-aa23ef4bd671"; + path = "M/MsgPack"; + replaceUrlInManifest = null; + treehash = "a8cbf066b54d793b9a48c5daa5d586cf2b5bd43d"; + artifacts = {}; + src = fetchgit { url = "https://github.com/JuliaIO/MsgPack.jl.git"; rev = "a8cbf066b54d793b9a48c5daa5d586cf2b5bd43d"; sha256 = "1layiqjf9si38pfdcszppgcy4zbfqgld7jlw8x645sm9b17b19fg"; }; +} { + name = "NetworkOptions"; + uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908"; + path = "N/NetworkOptions"; + replaceUrlInManifest = null; + treehash = "ed3157f48a05543cce9b241e1f2815f7e843d96e"; + artifacts = {}; + src = fetchgit { url = "https://github.com/JuliaLang/NetworkOptions.jl.git"; rev = "ed3157f48a05543cce9b241e1f2815f7e843d96e"; sha256 = "02nm4v67lb1dzhgyyr9bg8kylyyhsgfsxf3nxhbl4hp9dz48an0a"; }; +} { + name = "OrderedCollections"; + uuid = "bac558e1-5e72-5ebc-8fee-abe8a469f55d"; + path = "O/OrderedCollections"; + replaceUrlInManifest = null; + treehash = "85f8e6578bf1f9ee0d11e7bb1b1456435479d47c"; + artifacts = {}; + src = fetchgit { url = "https://github.com/JuliaCollections/OrderedCollections.jl.git"; rev = "85f8e6578bf1f9ee0d11e7bb1b1456435479d47c"; sha256 = "0jaxcmvkp8zpqrz101yikdigz90s70i7in5wn8kybwzf0na3lhwf"; }; +} { + name = "Pkg"; + uuid = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"; + path = "null"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +} { + name = "Pluto"; + uuid = "c3e4b0f8-55cb-11ea-2926-15256bba5781"; + path = "P/Pluto"; + replaceUrlInManifest = null; + treehash = "85156b21dee3a4515ff479555eb958ad33c057aa"; + artifacts = {}; + src = fetchgit { url = "https://github.com/fonsp/Pluto.jl.git"; rev = "85156b21dee3a4515ff479555eb958ad33c057aa"; sha256 = "1dvgrj0likniafs06hrwfndbshqr5khdqdyylganc1m81652rz5x"; }; +} { + name = "Preferences"; + uuid = "21216c6a-2e73-6563-6e65-726566657250"; + path = "P/Preferences"; + replaceUrlInManifest = null; + treehash = "00cfd92944ca9c760982747e9a1d0d5d86ab1e5a"; + artifacts = {}; + src = fetchgit { url = "https://github.com/JuliaPackaging/Preferences.jl.git"; rev = "00cfd92944ca9c760982747e9a1d0d5d86ab1e5a"; sha256 = "1cail43iqzbi6m9v6981rhz47zf2lcvhs5ds5gdqvc9nx5frghxq"; }; +} { + name = "Printf"; + uuid = "de0858da-6303-5e67-8744-51eddeeeb8d7"; + path = "null"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +} { + name = "REPL"; + uuid = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb"; + path = "null"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +} { + name = "Random"; + uuid = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"; + path = "null"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +} { + name = "SHA"; + uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce"; + path = "S/SHA"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +} { + name = "Serialization"; + uuid = "9e88b42a-f829-5b0c-bbe9-9e923198166b"; + path = "null"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +} { + name = "Sockets"; + uuid = "6462fe0b-24de-5631-8697-dd941f90decc"; + path = "null"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +} { + name = "TOML"; + uuid = "fa267f1f-6049-4f14-aa54-33bafae1ed76"; + path = "T/TOML"; + replaceUrlInManifest = null; + treehash = "44aaac2d2aec4a850302f9aa69127c74f0c3787e"; + artifacts = {}; + src = fetchgit { url = "https://github.com/JuliaLang/TOML.jl.git"; rev = "44aaac2d2aec4a850302f9aa69127c74f0c3787e"; sha256 = "1xy19fc5lrj9kh298xhczvmjl1cx3p46fj2xlmkisaqxzhd782yd"; }; +} { + name = "TableIOInterface"; + uuid = "d1efa939-5518-4425-949f-ab857e148477"; + path = "T/TableIOInterface"; + replaceUrlInManifest = null; + treehash = "9a0d3ab8afd14f33a35af7391491ff3104401a35"; + artifacts = {}; + src = fetchgit { url = "https://github.com/lungben/TableIOInterface.jl.git"; rev = "9a0d3ab8afd14f33a35af7391491ff3104401a35"; sha256 = "0p2fi9jbyfg2j6rysv4if7dx8qw2mssb04i75j1zq607j8707kvn"; }; +} { + name = "TableTraits"; + uuid = "3783bdb8-4a98-5b6b-af9a-565f29a5fe9c"; + path = "T/TableTraits"; + replaceUrlInManifest = null; + treehash = "c06b2f539df1c6efa794486abfb6ed2022561a39"; + artifacts = {}; + src = fetchgit { url = "https://github.com/queryverse/TableTraits.jl.git"; rev = "c06b2f539df1c6efa794486abfb6ed2022561a39"; sha256 = "08ssb2630wm6j8f2qa985mn2vfibfm5kjcn4ayl2qkhfcyp8daw4"; }; +} { + name = "Tables"; + uuid = "bd369af6-aec1-5ad0-b16a-f7cc5008161c"; + path = "T/Tables"; + replaceUrlInManifest = null; + treehash = "c9d2d262e9a327be1f35844df25fe4561d258dc9"; + artifacts = {}; + src = fetchgit { url = "https://github.com/JuliaData/Tables.jl.git"; rev = "c9d2d262e9a327be1f35844df25fe4561d258dc9"; sha256 = "1q0wh4031zdp40k44jaix19pzy6cnwsa2p0zfz6799jbyqkg4kr1"; }; +} { + name = "Test"; + uuid = "8dfed614-e22c-5e08-85e1-65c5234f0b40"; + path = "null"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +} { + name = "URIs"; + uuid = "5c2747f8-b7ea-4ff2-ba2e-563bfd36b1d4"; + path = "U/URIs"; + replaceUrlInManifest = null; + treehash = "97bbe755a53fe859669cd907f2d96aee8d2c1355"; + artifacts = {}; + src = fetchgit { url = "https://github.com/JuliaWeb/URIs.jl.git"; rev = "97bbe755a53fe859669cd907f2d96aee8d2c1355"; sha256 = "0kp4hg3kknkm2smlcizqfd33l9x4vkahc2714gnbjp39fj285b92"; }; +} { + name = "UUIDs"; + uuid = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"; + path = "null"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +} { + name = "Unicode"; + uuid = "4ec0a83e-493e-50e2-b9ac-8f72acf5a8f5"; + path = "null"; + replaceUrlInManifest = null; + treehash = "None"; + artifacts = {}; + src = null; +}]; +} diff --git a/pkgs/pluto/pluto-standalone.jl b/pkgs/pluto/pluto-standalone.jl new file mode 100644 index 0000000..1fccaef --- /dev/null +++ b/pkgs/pluto/pluto-standalone.jl @@ -0,0 +1,15 @@ + +using Pkg + +Pkg.activate(".") + +using Pluto + +Pluto.run( + launch_browser = false, + require_secret_for_access = false, + require_secret_for_open_links = false, + port = 9999, + host = "127.0.0.1", + notebook_path_suggestion = "/notebooks" +) diff --git a/services/pluto.nix b/services/pluto.nix new file mode 100644 index 0000000..ed535ee --- /dev/null +++ b/services/pluto.nix @@ -0,0 +1,66 @@ +{ config, lib, pkgs, ... }: + +let sources = import ../nix/sources.nix; +in +{ + containers.pluto = { + autoStart = true; + + bindMounts."/notebooks" = { + hostPath = "/data/pluto"; + isReadOnly = false; + }; + + config = {pkgs, config, ...}: { + systemd.services.pluto = + let + julia = (import ../pkgs/pluto) + {pkgs = import sources.nixpkgs {};}; + pluto = pkgs.stdenv.mkDerivation { + name = "pluto-standalone"; + buildPhase = "mkdir $out"; + installPhase = '' + cp *.toml $out + cp *.jl $out + ''; + src = ../pkgs/pluto; + }; + in { + enable = true; + description = "Pluto.js notebook server"; + wantedBy = [ "multi-user.target" ]; + serviceConfig = { + type = "simple"; + User = "pluto"; + Group = "pluto"; + }; + # julia needs some writable directory to keep state in + # (especially precompiled artifacts). The wrapped version + # of julia below will append this with a path from the + # nix store that contains all needed packages, so this + # should even work entirely without internet access. + environment.JULIA_DEPOT_PATH = "/var/lib/julia"; + script = '' + cd ${pluto.outPath} + ${julia}/bin/julia pluto-standalone.jl + ''; + }; + users.users.pluto = { + group = "pluto"; + home = "/notebooks"; + isSystemUser = true; + }; + users.groups.pluto = {}; + systemd.tmpfiles.rules = [ + "d /var/lib/julia 0750 pluto pluto" + ]; + }; + + }; + + systemd.services."container@pluto".serviceConfig = { + MemoryHigh = "2G"; # will throttle, but not a hard limit + MemoryMax = "2.5G"; # hard limit + CPUQuota = "100%"; # give CPU time roughly equivalent to one core + }; +}