corrección espacios en wikilinks

main
sejo 2 years ago
parent 0f8637dc51
commit f5abc39ada

@ -9,7 +9,7 @@ gemini://soviet.circumlunar.space/sejo/ ( generado en gem/ )
* generasitio.sh es el bash script que copia archivos y llama los scripts de awk
* gemtext2html.awk convierte los archivos en formato .gmo (.gmi modificado) a
una versión html, a partir de la especificación y mi opinión personal
* gem2gem.awk convierte los archivos .gmo a .gmi real
* gmo2gmi.awk convierte los archivos .gmo a .gmi real
* genindice.awk genera un índice de todas las páginas
* sejmanas.py genera la "tabla" en html de las sejmanas, utilizada en tiempo.gmo

@ -1,3 +1,7 @@
function nombre2Link( t, r ){ # convierte un nombre con espacios, a uno con r (e.g. "_"
gsub(" ",r,t);
return t
}
/^+ /{ # literal html
next # salta la línea
@ -24,6 +28,7 @@
link = substr($0, i, ifinal-i+1) # {link}
nombre = substr($0, i+1, ifinal-i-1) # link
nombre = nombre2Link( nombre, "_" )
print "=> ./" nombre ".gmi " link
}
Loading…
Cancel
Save