Skip to content

Commit

Permalink
replace "sudo julia" by "julia"
Browse files Browse the repository at this point in the history
Note that this "sudo" was introduced originally as a workaround for
oscar-system/Singular.jl#45
As this issue is resolved, it should not be neccessary anymore.
  • Loading branch information
heiderich committed Dec 10, 2018
1 parent 4025bb9 commit 04383c5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -150,7 +150,7 @@ COPY install_polymake.jl /home/oscar/install_polymake.jl
RUN julia install_polymake.jl

COPY install_singular.jl /home/oscar/install_singular.jl
RUN sudo julia install_singular.jl
RUN julia install_singular.jl

COPY install_oscar.jl /home/oscar/install_oscar.jl
RUN julia install_oscar.jl
Expand Down

0 comments on commit 04383c5

Please sign in to comment.