File tree 2 files changed +54
-0
lines changed
2 files changed +54
-0
lines changed Original file line number Diff line number Diff line change @@ -29,6 +29,14 @@ RUN echo "Installing python modules in system python versions" \
29
29
# && ln -f -s /home/theia/.pyenv/versions/*/bin/black /bin/ \
30
30
# && ln -f -s /home/theia/.pyenv/versions/*/bin/isort /bin/
31
31
32
+ # Setup ssh for git
33
+ RUN test -d ~/.ssh || mkdir ~/.ssh \
34
+ && touch ~/.ssh/known_hosts \
35
+ && chown -R theia ~/.ssh \
36
+ && chmod -R 600 ~/.ssh
37
+
38
+ RUN grep github.com ~/.ssh/known_hosts > /dev/null || echo "github.com ssh-rsa AAAAB3NzaC1yc2EAAAABIwAAAQEAq2A7hRGmdnm9tUDbO9IDSwBK6TbQa+PXYPCPy6rbTrTtw7PHkccKrpp0yVhp5HdEIcKr6pLlVDBfOLX9QUsyCOV0wzfjIJNlGEYsdlLJizHhbn2mUjvSAHQqZETYP81eFzLQNnPHt4EVVUh7VfDESU84KezmD5QlWpXLmvU31/yMf+Se8xhHTvKSCZIFImWwoG6mbUoWf9nzpIoaSjB+weqqUUmpaaasXVal72J+UX2B+2RPW3RcT0eOzQgqlJL3RKrTJvdsjE3JEAvGq3lGHSZXy28G3skua2SmVi/w4yCE6gbODqnTWlg7+wC604ydGXA8VJiS5ap43JXiUFFAaQ==" >> ~/.ssh/known_hosts
39
+
32
40
USER theia
33
41
WORKDIR /home/theia
34
42
@@ -66,5 +74,6 @@ RUN echo "Installing python modules in pyenv python versions" \
66
74
67
75
WORKDIR /home/theia
68
76
77
+
69
78
ENV PYTHONPATH=/home/project:$PYTHONPATH
70
79
Original file line number Diff line number Diff line change @@ -6,4 +6,49 @@ if [[ "$(docker images -q $IMG 2> /dev/null)" == "" ]]; then
6
6
./build_ide.sh
7
7
fi
8
8
9
+ git_vars=1
10
+ if [[ -z $GIT_USER ]]; then
11
+ echo " GIT_USER variable not found"
12
+ git_vars=0
13
+ fi
14
+
15
+ if [[ -z $GIT_PASS ]]; then
16
+ echo " GIT_PASS variable not found"
17
+ git_vars=0
18
+ fi
19
+
20
+ if [[ -z $GIT_AUTHOR_NAME ]]; then
21
+ echo " GIT_AUTHOR_NAME variable not found"
22
+ git_vars=0
23
+ fi
24
+
25
+ if [[ -z $GIT_COMMITTER_NAME ]]; then
26
+ echo " GIT_COMMITTER_NAME variable not found"
27
+ git_vars=0
28
+ fi
29
+
30
+ if [[ -z $GIT_AUTHOR_EMAIL ]]; then
31
+ echo " GIT_AUTHOR_EMAIL variable not found"
32
+ git_vars=0
33
+ fi
34
+
35
+ if [[ -z $GIT_COMMITTER_EMAIL ]]; then
36
+ echo " GIT_COMMITER_EMAIL variable not found"
37
+ git_vars=0
38
+ fi
39
+
40
+ if [[ $git_vars == 0 ]]; then
41
+ echo " One or more git variables were not set."
42
+ echo " You will not be able to commit inside theia."
43
+ echo
44
+ while true ; do
45
+ read -p " Do you want to continue?" yn
46
+ case $yn in
47
+ [Yy]* ) break ;;
48
+ [Nn]* ) exit ;;
49
+ * ) echo " Please answer yes or no." ;;
50
+ esac
51
+ done
52
+ fi
53
+
9
54
docker run -it --init -p 3000:3000 -v " $( pwd) :/home/project:cached" -e GIT_USER=" $GIT_USER " -e GIT_PASS=" $GIT_PASS " -e GIT_AUTHOR_NAME=" $GIT_AUTHOR_NAME " -e GIT_COMMITTER_NAME=" $GIT_COMMITTER_NAME " -e GIT_AUTHOR_EMAIL=" $GIT_AUTHOR_EMAIL " -e GIT_COMMITTER_EMAIL=" $GIT_COMMITTER_EMAIL " -e GIT_ASKPASS=/home/project/git_env_password.sh $IMG
You can’t perform that action at this time.
0 commit comments