pict-rs/docker/dev/dev.sh

#!/usr/bin/env bash

ARCH=${1:-amd64}

export USER_ID=$(id -u)
export GROUP_ID=$(id -g)

docker-compose build --pull
docker-compose run --service-ports pictrs-$ARCH
Get pretty comfy with dockerfiles 2020-06-16 00:35:39 +00:00			`#!/usr/bin/env bash`

Add docker development environments for arm64v8 and arm32v7 2020-06-25 20:21:25 +00:00			`ARCH=${1:-amd64}`

Get pretty comfy with dockerfiles 2020-06-16 00:35:39 +00:00			`export USER_ID=$(id -u)`
			`export GROUP_ID=$(id -g)`

Alter docker dev to create rust environment 2020-06-17 15:21:54 +00:00			`docker-compose build --pull`
Add docker development environments for arm64v8 and arm32v7 2020-06-25 20:21:25 +00:00			`docker-compose run --service-ports pictrs-$ARCH`