From d4a733e4d88a78f2eda26f9039b21d7e9226ea74 Mon Sep 17 00:00:00 2001
From: Peter Dave Hello <hsu@peterdavehello.org>
Date: Tue, 19 Sep 2023 20:03:01 +0800
Subject: [PATCH] [Dockerfile] Remove apt src disabling, no longer needed

---
 Dockerfile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index a0841a7..d95bb13 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -24,9 +24,6 @@ ENV SHELLCHECK_VERSION=0.7.0
 # ref: https://launchpad.net/ubuntu/+archivemirrors
 ENV UBUNTU_APT_SITE ubuntu.cs.utah.edu
 
-# Disable src package source
-RUN sed -i 's/^deb-src\ /\#deb-src\ /g' /etc/apt/sources.list
-
 # Replace origin apt package site with the mirror site
 RUN sed -E -i "s/([a-z]+.)?archive.ubuntu.com/$UBUNTU_APT_SITE/g" /etc/apt/sources.list
 RUN sed -i "s/security.ubuntu.com/$UBUNTU_APT_SITE/g" /etc/apt/sources.list