always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Use microsoft 18.04 feed for ubuntu 18.10

Browse Source 
- Microsoft still not provide a 18.10 package, fortunately 18.04 seems to work.
This commit is contained in:
Corentin Le Molgat
2018-11-22 16:06:43 +01:00
parent 5245717839
commit e6decf0c37
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/docker/test/ubuntu-18.10/dotnet.Dockerfile
View File

@@ -8,7 +8,7 @@ RUN apt-get update -qq \
# Dotnet install
RUN apt-get update -qq \
&& apt-get install -yq wget apt-transport-https \
&& wget -q https://packages.microsoft.com/config/ubuntu/18.10/packages-microsoft-prod.deb \
&& wget -q https://packages.microsoft.com/config/ubuntu/18.04/packages-microsoft-prod.deb \
&& dpkg -i packages-microsoft-prod.deb \
&& apt-get update -qq \
&& apt-get install -yq dotnet-sdk-2.1 \

2
tools/docker/ubuntu-18.10.Dockerfile
View File

@@ -33,7 +33,7 @@ RUN apt-get update -qq \
# Dotnet Install
RUN apt-get update -qq \
&& apt-get install -yq apt-transport-https \
&& wget -q https://packages.microsoft.com/config/ubuntu/18.10/packages-microsoft-prod.deb \
&& wget -q https://packages.microsoft.com/config/ubuntu/18.04/packages-microsoft-prod.deb \
&& dpkg -i packages-microsoft-prod.deb \
&& apt-get update -qq \
&& apt-get install -yq dotnet-sdk-2.1 \