devil-linux-develop

[Devil-linux-develop] Ircam mirror and update_src

[Arnaud Gomes-do-V. <Arn...@ir...>]

Hi,

The current update_src script does not list the public mirror at
Ircam. Here is the patch I use:

Index: update_src
===================================================================
RCS file: /cvsroot/devil-linux/build/update_src,v
retrieving revision 1.35
diff -u -r1.35 update_src
--- update_src	4 Aug 2004 17:58:01 -0000	1.35
+++ update_src	27 Aug 2004 15:57:54 -0000
@@ -45,6 +45,10 @@
 ftps[5]="http://www.devil-linux.us"
 ftpd[5]="/pub/devel/sources/$VERSION/"
 
+menu[6]="Ircam                        Paris/France"
+ftps[6]="http://mirrors.ircam.fr"
+ftpd[6]="/pub/devil-linux/devel/sources/$VERSION/"
+
 # the internal mirrors (mostly used by specific developers)
 
 menu[96]="generic internal mirror"


-- 
Arnaud

Re: [Devil-linux-develop] Ircam mirror and update_src

[Heiko Z. <he...@zu...>]

DONE

Heiko

Arnaud Gomes-do-Vale wrote:

>Hi,
>
>The current update_src script does not list the public mirror at
>Ircam. Here is the patch I use:
>
>Index: update_src
>===================================================================
>RCS file: /cvsroot/devil-linux/build/update_src,v
>retrieving revision 1.35
>diff -u -r1.35 update_src
>--- update_src	4 Aug 2004 17:58:01 -0000	1.35
>+++ update_src	27 Aug 2004 15:57:54 -0000
>@@ -45,6 +45,10 @@
> ftps[5]="http://www.devil-linux.us"
> ftpd[5]="/pub/devel/sources/$VERSION/"
> 
>+menu[6]="Ircam                        Paris/France"
>+ftps[6]="http://mirrors.ircam.fr"
>+ftpd[6]="/pub/devil-linux/devel/sources/$VERSION/"
>+
> # the internal mirrors (mostly used by specific developers)
> 
> menu[96]="generic internal mirror"
>
>
>  
>