Add a way to run Docker as a non-root user
Add a way to run Docker as a non-root user

thinkhy/dockerfile-pintos-kaist,thinkhy/dockerfile-pintos-kaist,thinkhy/dockerfile-pintos-kaist,yhpark/dockerfile-pintos-kaist,yhpark/dockerfile-pintos-kaist,yhpark/dockerfile-pintos-kaist