about summary refs log tree commit diff
path: root/users/Profpatsch/read-http.nix
diff options
context:
space:
mode:
authorProfpatsch <mail@profpatsch.de>2022-05-05T22·31+0200
committerProfpatsch <mail@profpatsch.de>2022-05-05T22·43+0000
commit9dac44846696ccdd9cd60359b8ee864f4a20b3f1 (patch)
tree0b2ffff3092d0df6da143dd4ab39fa4ccc479a4e /users/Profpatsch/read-http.nix
parent12869cda7dae310ec3ab792873588cefd11f3306 (diff)
feat(users/Profpatsch/importDhall): print dhall command r/4011
It’s often not obvious what dhall command to run to (type)-check the
dhall files directly without the nix roundtrip.

Now we just print the command, easy to copy.

Change-Id: I704a647bff13f73d5a1b1d33b00a46bcb1a9de4e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5528
Reviewed-by: Profpatsch <mail@profpatsch.de>
Tested-by: BuildkiteCI
Diffstat (limited to 'users/Profpatsch/read-http.nix')
0 files changed, 0 insertions, 0 deletions