michael/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2026-02-03 14:13:29 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix to remove old Webmin repo in sources.list file

Browse Source 
https://github.com/webmin/webmin/issues/1969#issuecomment-1742141240
This commit is contained in:
Ilia Ross
2023-10-02 21:14:18 +03:00
parent 74fec8b171
commit 51bdd0d07e
2 changed files with 14 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
setup-repos-nightly.sh
View File

@@ -3,7 +3,8 @@
# setup-repos-nightly.sh
# Configures Webmin development repository for RHEL and Debian systems (derivatives)
webmin_download="https://download.webmin.com"
webmin_host="download.webmin.com"
webmin_download="https://$webmin_host"
webmin_download_nightly="https://builds.webmin.dev"
webmin_key="developers-key.asc"
webmin_key_download="$webmin_download/$webmin_key"
@@ -163,11 +164,16 @@ rpm)
echo " .. done"
;;
deb)
# Remove our keys
rm -f "/usr/share/keyrings/debian-$webmin_key_suffix.gpg" "/usr/share/keyrings/$repoid_debian_like-$webmin_key_suffix.gpg"
# Install our keys
echo " Installing Webmin key .."
gpg --import $webmin_key 1>/dev/null 2>&1
cat $webmin_key | gpg --dearmor > "/usr/share/keyrings/$repoid_debian_like-$webmin_key_suffix.gpg"
echo " .. done"
# Remove Webmin repo from sources.list
sources_list=$(grep -v "$webmin_host" /etc/apt/sources.list)
echo "$sources_list" > /etc/apt/sources.list
# Create repo file
echo " Setting up Webmin development repository .."
echo "deb [signed-by=/usr/share/keyrings/$repoid_debian_like-$webmin_key_suffix.gpg] $webmin_download_nightly ./" >$debian_repo_file