From bf2dfb9d9914d6015a7168786ad1416e97b27056 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B8rn=20Forsman?= Date: Sat, 30 Jan 2016 13:39:10 +0100 Subject: [PATCH] eclipse: remove old to-do comment about "mirror://eclipse/" The comment is from 2011, before we started using officially mirrored URLs[1] like http://www.eclipse.org/downloads/download.php?r=1&nf=1&file=THE_FILE I think using upstream mirrored URLs is better than mirror://eclipse: - upstream mirror list is always up to date - the closest / fastest mirror will be selected automatically [1]: http://wiki.eclipse.org/IT_Infrastructure_Doc#Use_mirror_sites.2Fsee_which_mirrors_are_mirroring_my_files.3F --- pkgs/applications/editors/eclipse/default.nix | 2 -- 1 file changed, 2 deletions(-) diff --git a/pkgs/applications/editors/eclipse/default.nix b/pkgs/applications/editors/eclipse/default.nix index 12cfbb9c802..9e1b41157cd 100644 --- a/pkgs/applications/editors/eclipse/default.nix +++ b/pkgs/applications/editors/eclipse/default.nix @@ -29,8 +29,6 @@ rec { }; eclipse_sdk_35 = eclipse-sdk-35; # backward compatibility, added 2016-01-30 - # !!! Use mirror://eclipse/. - eclipse-sdk-36 = buildEclipse { name = "eclipse-sdk-3.6.2"; description = "Eclipse Classic";