diff options
| author | Profpatsch <mail@profpatsch.de> | 2022-05-05T22·31+0200 |
|---|---|---|
| committer | Profpatsch <mail@profpatsch.de> | 2022-05-05T22·43+0000 |
| commit | 9dac44846696ccdd9cd60359b8ee864f4a20b3f1 (patch) | |
| tree | 0b2ffff3092d0df6da143dd4ab39fa4ccc479a4e /users/Profpatsch/read-http.rs | |
| parent | 12869cda7dae310ec3ab792873588cefd11f3306 (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.rs')
0 files changed, 0 insertions, 0 deletions