repo: gemini-site
action: commit
revision: 
path_from: 
revision_from: 6c86bb3a3d529a1fea7ddde5a9c10e2c3ffd7638:
path_to: 
revision_to: 

commit 6c86bb3a3d529a1fea7ddde5a9c10e2c3ffd7638
Author: Stephane Bortzmeyer 
Date:   Sat Apr 3 11:19:00 2021 +0200

    gus.guru is dead for six days (and we not indexed for a long time), houston.coder.town is dead for even longer. Replaced them all will geminispace.info

    Signed-off-by: Solderpunk 

diff --git a/docs/faq.gmi b/docs/faq.gmi

--- a/docs/faq.gmi
+++ b/docs/faq.gmi
@@ -222,13 +222,12 @@ This Gemini kiosk was inspired by the Gopher kiosk at bitreich.org!
 For now, Geminispace is still small enough that it's feasible to use directories as a way to discover what is out there.  Some of these are listed below:

 => gemini://medusae.space/			The medusae.space Gemini directory has a list of capsules divided into thematic categories
-=> gemini://gus.guru/known-hosts		The GUS search engine's list of known Gemini hosts
+=> gemini://geminispace.info/known-hosts		The geminispace.info search engine's list of known Gemini hosts
 => /servers/					A historic list of the first 50 Gemini servers

-If you are looking for something in particular, Gemini has two search engines:
+If you are looking for something in particular, Gemini has one search engine:

-=> gemini://gus.guru		GUS, the first Gemini search engine
-=> gemini://houston.coder.town	Houston, the second Gemini search engine
+=> gemini://geminispace.info		geminispace.info, the Gemini search engine

 There are two public aggregators which attempt to make it easier to find recently-updated material in Geminispace:

@@ -266,9 +265,9 @@ If you do not feel comfortable with the technologies needed to make use of pubni

 Please consider joining the mailing list (see question 1.3) so that you can announce your new server to the community, and keep up to date with e.g. updates to your server software or to the Gemini protocol itself.

-You can submit your server's URL to the GUS search engine so that it gets crawled, via the link below:
+You can submit your server's URL to the geminispace.info search engine so that it gets crawled, via the link below:

-=> gemini://gus.guru/add-seed	Submit a URL to GUS
+=> gemini://geminispace.info/add-seed	Submit a URL to geminispace.info

 # 4. Contributing to the Gemini project

diff --git a/docs/fr/faq.gmi b/docs/fr/faq.gmi

--- a/docs/fr/faq.gmi
+++ b/docs/fr/faq.gmi
@@ -224,13 +224,12 @@ This Gemini kiosk was inspired by the Gopher kiosk at bitreich.org!
 For now, Geminispace is still small enough that it's feasible to use directories as a way to discover what is out there.  Some of these are listed below:

 => gemini://medusae.space/			The medusae.space Gemini directory has a list of capsules divided into thematic categories
-=> gemini://gus.guru/known-hosts		The GUS search engine's list of known Gemini hosts
+=> gemini://geminispace.info/known-hosts		The geminispace.info search engine's list of known Gemini hosts
 => /servers/					A historic list of the first 50 Gemini servers

-If you are looking for something in particular, Gemini has two search engines:
+Si vou cherchez quelque chose en particulier, Gemini a un moteur de recherche :

-=> gemini://gus.guru		GUS, the first Gemini search engine
-=> gemini://houston.coder.town	Houston, the second Gemini search engine
+=> gemini://geminispace.info		Le moteur de recherche geminispace.info

 There are two public aggregators which attempt to make it easier to find recently-updated material in Geminispace:

@@ -268,9 +267,9 @@ If you do not feel comfortable with the technologies needed to make use of pubni

 Please consider joining the mailing list (see question 1.3) so that you can announce your new server to the community, and keep up to date with e.g. updates to your server software or to the Gemini protocol itself.

-You can submit your server's URL to the GUS search engine so that it gets crawled, via the link below:
+Vous pouvez ajouter l'URL de votre serveur au moteur de recherche geminispace.info, pour qu'il soit ramassé et indexé, via :

-=> gemini://gus.guru/add-seed	Submit a URL to GUS
+=> gemini://geminispace.info/add-seed	Soumettre un URL à geminispace.info

 # 4. Contributing to the Gemini project

diff --git a/index.gmi b/index.gmi

--- a/index.gmi
+++ b/index.gmi
@@ -23,10 +23,9 @@ Gemini is a new internet protocol which:
 => https://portal.mozz.us/?url=gemini%3A%2F%2Fgemini.circumlunar.space%2F&fmt=fixed	Gemini-to-web proxy service
 => https://proxy.vulpes.one/gemini/gemini.circumlunar.space	Another Gemini-to-web proxy service

-## Search engines
+## Search engine

-=> gemini://gus.guru/	Gemini Universal Search engine
-=> gemini://houston.coder.town	Houston search engine
+=> gemini://geminispace.info/	geminispace.info

 ## Geminispace aggregators

diff --git a/servers/index.gmi b/servers/index.gmi

--- a/servers/index.gmi
+++ b/servers/index.gmi
@@ -4,7 +4,7 @@ Below is a list of 50 public Gemini hosts (besides this one!), listed in the ord

 Geminispace is now growing at such a rate that maintaining an exhaustive list of servers by hand is no longer terribly practical or terribly useful.  Thus, this list is no longer being updated and is kept here for mostly historical interest.  The GUS search engine provides an automatically generated list of known hosts which is now the most complete and accurate such list:

-=> gemini://gus.guru/known-hosts Gemini hosts known to GUS
+=> gemini://geminispace.info/known-hosts Gemini hosts known to geminispace.info

 ## The first fifty Gemini hosts (approximately)

-----END OF PAGE-----