Skip to content
Jump to bottom

update city-fan.org repo URL #177

Merged
merged 1 commit into from Dec 6, 2023
+2 −1
Merged

update city-fan.org repo URL #177

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
3 changes: 2 additions & 1 deletion Workbench/webproxy/Dockerfile
View file
Open in desktop
Expand Up @@ -36,7 +36,8 @@ RUN chmod 755 /usr/local/bin/startWithMDLoad.sh && chmod 755 /mdload/*.sh

#install updated curl (for --data-raw)
# see http://www.city-fan.org/ftp/contrib/yum-repo/ for more info and for correct version numbers
RUN rpm -Uvh http://www.city-fan.org/ftp/contrib/yum-repo/rhel7/x86_64/city-fan.org-release-3-10.rhel7.noarch.rpm
#RUN rpm -Uvh http://www.city-fan.org/ftp/contrib/yum-repo/rhel7/x86_64/city-fan.org-release-3-10.rhel7.noarch.rpm
RUN rpm -Uvh https://mirror.city-fan.org/ftp/contrib/yum-repo/city-fan.org-release-3-10.rhel7.noarch.rpm
RUN yum-config-manager --enable city-fan.org
RUN yum update curl -y

Expand Down