use current users GID also, use username instead if UID for volume names

seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

12 stars 39 forks source link

Closed axel-h closed 5 years ago

LukeMondy commented 5 years ago

Hey Axel, looks great! I will likely merge this tomorrow, and it should get pushed out the day after.

LukeMondy commented 5 years ago

I think I messed up the git history a little bit, so this wasn't detected, but the changes have been merged.