Skip to content
Snippets Groups Projects
  • Mandar Harshe's avatar
    Update dockerfile to 20.04 and use default user · 92c7d8d3
    Mandar Harshe authored
    While building the docker image pass the arguments `--build-arg
    "host_uid=$(id -u)" --build-arg "host_gid=$(id -g)"` so that you can
    use the outputs of the compilation outside
    
    Update Docker ubuntu version and add Cython
    92c7d8d3