-
Notifications
You must be signed in to change notification settings - Fork 61
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #45 from autolab/docker_vmms
Implementation of Docker vmms
- Loading branch information
Showing
14 changed files
with
296 additions
and
13 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
autograde: | ||
./hello.sh | ||
bash hello.sh | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
autograde: | ||
./hello.sh | ||
bash hello.sh | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,5 @@ | ||
autograde: | ||
(./hello.sh; exit 2) | ||
(bash hello.sh; exit 2) | ||
|
||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,2 @@ | ||
autograde: | ||
./hello.sh | ||
|
||
|
||
bash hello.sh |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
autograde: | ||
./hello.sh | ||
bash hello.sh | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,5 @@ | ||
autograde: | ||
./bug | ||
bash bug | ||
|
||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,34 @@ | ||
# Autolab - autograding docker image | ||
|
||
FROM ubuntu:14.04 | ||
MAINTAINER Mihir Pandya <[email protected]> | ||
|
||
RUN apt-get update | ||
RUN apt-get install -y gcc | ||
RUN apt-get install -y make | ||
RUN apt-get install -y build-essential | ||
|
||
# Install autodriver | ||
WORKDIR /home | ||
RUN useradd autolab | ||
RUN useradd autograde | ||
RUN mkdir autolab autograde output | ||
RUN chown autolab:autolab autolab | ||
RUN chown autolab:autolab output | ||
RUN chown autograde:autograde autograde | ||
RUN apt-get install -y git | ||
RUN git clone https://github.com/autolab/Tango.git | ||
WORKDIR Tango/autodriver | ||
RUN make clean && make | ||
RUN cp autodriver /usr/bin/autodriver | ||
RUN chmod +s /usr/bin/autodriver | ||
|
||
# Clean up | ||
WORKDIR /home | ||
RUN apt-get remove -y git | ||
RUN apt-get -y autoremove | ||
RUN rm -rf Tango/ | ||
|
||
# Check installation | ||
RUN ls -l /home | ||
RUN which autodriver |
Oops, something went wrong.