J’ai par mégarde fait la modif ci-dessous avec le compte botopo. C’est pas bien grave, mais je préfère signaler, en cas de mal entendu.
https://www.camptocamp.org/routes/diff/57445/fr/1993983/1993985
Corrections automatiques dans le topoguide
Tu as supprimé RG le 29 à 19h44 : Camptocamp.org
La modif a eu lieu le 29 à 22h32 : Camptocamp.org
La seule explication que je vbois, c’est que Antoine a lancé son script avant 19h44 (au cours de l’execution, le bot ne va pas recharger à chaque fois la liste des modifs).
Bonjour !
Que pensez-vous de la modification suivante ? À ajouter ?
gd >> grand
Gd >> Grand
PS : je m’excuse d’avoir enregistré ma correction la plus récente à l’article sous le pseudo « botopo » : Camptocamp.org
Nouveau pseudo ?
Je vois pas faux-positifs la tout de suite.
Je sortirai la liste des itis le contenant « gd » et « Gd » ce soir pour y jeter un oeil.
Ben voui, mais ça a un peu cafouillé au départ.
« Borut », on ne savait pas trop ce que ça voulait dire
Pour « Gd » il y aura par exemple : Gd Montets > Grand Montets, et il faudra ajouter Grand Montets > Grands Montets, mais je pense que c’est gérable au fur et à mesure.
D’ailleurs, dans ce cas il ne faut pas mettre de majuscule aux gg / gd …
ça c’est autre chose
possible go au lieu de gd (goujon or, au lieu de goujon doré) @Grenoble
Le problème est surtout sur la présence de ces abréviations : Camptocamp.org
Par ailleurs, afin de rendre le topoguide accessible à tous les lecteurs, il ne faut pas utiliser d’abréviations exotiques. Ainsi, si l’équipement est hétérogène et nécessite des précisions, il faudra utiliser les termes littéraux au sein de la description textuelle des longueurs.
Si il y a un volontaire pour mettre l’article en conformité avec le vote, faut pas hésiter. Si je trouve le temps, je m’en chargerais.
Dans le cas gd > grand, il s’agirait de l’usage restreint des abréviations, ce qui a été adopté (voté).
Non, c’est le faux positif dû aux propositions d’abreviations du petit desert qui me font battre la retraite.
Mais oui, on est rendu à cet article
En reconsidérant cet exemple, je pense cependant que RG signifie bien « rive gauche » (et RD rive droite)
Edit : @ivresseAsc
Le plus simple serait de demander au créateur du topo … (je ne pratique pas la spéléo).
c’est cela.
J’ai ajouté une nouvelle section :
Ponctuation
https://www.camptocamp.org/articles/diff/996571/fr/2008851/2009105
Veuillez vérifier, et AJOUTER !
Merci
Ca me semble ok, je ne vois pas de faux positif potentiel.
C est bien ca dans le jargon spéléo comme Lx s utilise pour dénommer le numéro de longueur en grande voie.
Ceci dit, un topo des abréviations pourra être fait quand on aura un chouette outil speleo sur C2C (c était pour le clin d oeil petit rappel aux modés… )
Désolé d’avoir posté le message ci-dessus alors que j’étais connecté avec mon compte bot (botopo).