Workaround japaric/xargo#189

Cleanup.

Makefile

@@ -48,6 +48,15 @@ build/boot.img: $(TARGET)
 	@$(MMD) -i fat.img ::/EFI/BOOT
 	@$(MCOPY) -i fat.img $(TARGET) ::/EFI/BOOT
 	@mv fat.img $(BUILD_ROOT)/$(HD_IMG)
+
+img-docker: clean # clean is necessary, see https://github.com/japaric/xargo/issues/189
+	docker build -t projectasiago/aura.build .
+	docker run -it --rm \
+		-e LOCAL_UID="$(shell id -u)" -e LOCAL_GID="$(shell id -g)" \
+		-v aura-"$(id -u)-$(id -g)"-cargo:/usr/local/cargo \
+		-v "$(shell pwd)":/usr/src/aura \
+		-w /usr/src/aura projectasiago/aura.build \
+		make img
 
 clean:
 	@$(CARGO) clean

entrypoint.sh

@@ -23,7 +23,7 @@ CACHED_UID=$(stat -c "%u" $TESTFILE)
 CACHED_GID=$(stat -c "%g" $TESTFILE)
 
 if [ $CACHED_UID != $RUN_UID ] || [ $RUN_GID != $CACHED_GID ]; then
-    echo -e "\033[01;38;5;155mChanging user id:group to ${RUN_UID}:${RUN_GID}. Please wait...\033[0m"
+    echo -e "Changing user id:group to ${RUN_UID}:${RUN_GID}. Please wait..."
     chown $RUN_UID:$RUN_GID -R $CARGO_HOME $RUSTUP_HOME $TOOLCHAIN_HOME
 fi