https://github.com/tristancacqueray/dhall-podman

Podman definitions with Dhall
https://github.com/tristancacqueray/dhall-podman

Last synced: 14 days ago
JSON representation

Podman definitions with Dhall

• Host: GitHub
• URL: https://github.com/tristancacqueray/dhall-podman
• Owner: TristanCacqueray
• License: apache-2.0
• Created: 2020-07-25T20:22:27.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-07-25T20:30:45.000Z (over 4 years ago)
• Last Synced: 2024-10-11T01:39:36.582Z (27 days ago)
• Language: Dhall
• Size: 94.7 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# dhall-podman

`dhall-podman` contains [Dhall][dhall-lang] bindings to [Podman][podman].

## Contribute

To update the package:

- Grab the swagger file:

  `curl -OL https://storage.googleapis.com/libpod-master-releases/swagger-latest-master.yaml`

- Convert to json

  `cat swagger-latest-master.yaml | yaml-to-dhall | dhall-to-json > swagger-latest-master.json`

- Install dhall-openapi from https://github.com/dhall-lang/dhall-haskell/pull/1946

  `dhall-openapi swagger-latest-master.json`

- Fix cyclic import

  `sed -e 's|./List.dhall|(List Text)|' -i ./types/List.dhall`

- Freeze the top-level files

  `for i in *.dhall; do dhall --freeze --all $i; done`

[dhall-lang]: https://dhall-lang.org

[podman]: https://podman.io