comparison sat_frontends/jp/cmd_ping.py @ 3641:0ffaa231138c

docker: Libervia revision can now be specified: Using the `DOCKER_LIBERVIA_REV` environment variable, backend (and related repos) revision can now be specified. By default (variable empty or not set), the current `tip` version is used, and `dev` is used for tagging. If the variable is set, the revision will be used and used for tagging the image.
author Goffi <goffi@goffi.org>
date Wed, 08 Sep 2021 11:14:17 +0200
parents 04283582966f
children 4b842c1fb686
comparison
equal deleted inserted replaced
3640:f4c02bdb2d91 3641:0ffaa231138c