Skip to content

Instantly share code, notes, and snippets.

View ixobert's full-sized avatar
👨‍🔬
Wondering

ixobert

👨‍🔬
Wondering
View GitHub Profile
@ixobert
ixobert / gist:4448bb25e1fbdba66c8818979ce6ab62
Created September 30, 2021 00:47
determined-ai-toolchain
#!/bin/sh
uid="$(id -u)"
user="$(id -un)"
dockergid="$(getent group docker | cut -f3 -d:)"
if [ "$*" == "--image" ] ; then
# rebuild the docker container containing the toolchain
docker build -t determined-toolchain - << EOF
FROM ubuntu:20.04