From 141cb5671202d472632fe25d0ad80cbd9de8159f Mon Sep 17 00:00:00 2001
From: Guo Xiang Tan <tgx_world@hotmail.com>
Date: Tue, 18 Sep 2018 17:12:08 +0800
Subject: [PATCH] Can't use `--login` because bash profile hasn't been created.

This reverts commit 4535fb546081817f0a2ffdd9cc587191b46e4a5f.
---
 launcher | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/launcher b/launcher
index 684174b..5b5d5dc 100755
--- a/launcher
+++ b/launcher
@@ -593,7 +593,7 @@ run_run() {
   setup_bootstrap
 
   $docker_path run --rm --shm-size=512m $user_args $links "${env[@]}" -e DOCKER_HOST_IP="$docker_ip" -i -a stdin -a stdout -a stderr $volumes $image \
-    /bin/bash --login -c "$run_command"
+    /bin/bash -c "$run_command"
 }
 
 run_bootstrap() {
-- 
2.25.1