the-distro/channel-scripts
1
0
Fork 1
Code Issues 8 Pull requests Packages Projects Releases Wiki Activity

Merge pull request #25 from worldofpeace/plasma5-rename

Browse source 
rename iso_graphical to iso_plasma5
This commit is contained in:
Eelco Dolstra 2020-01-30 14:32:42 +01:00 committed by GitHub
parent 91f79b69a3 751409599d
commit a04700b949
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
mirror-nixos-branch.pl
View file

@ -139,8 +139,14 @@ if ($bucket->head_key("$releasePrefix")) {
if ($channelName !~ /-small/) {
downloadFile("nixos.iso_minimal.i686-linux");
downloadFile("nixos.iso_graphical.x86_64-linux");
#downloadFile("nixos.iso_graphical.i686-linux");
# Renamed iso_graphcial to iso_plasma5 in 20.03
if ($releaseName !~ /-19./) {
downloadFile("nixos.iso_plasma5.x86_64-linux");
} else {
downloadFile("nixos.iso_graphical.x86_64-linux");
}
downloadFile("nixos.ova.x86_64-linux");
#downloadFile("nixos.ova.i686-linux");
}