diff options
| -rw-r--r-- | README.md | 2 | ||||
| -rw-r--r-- | gmo2gmi.awk (renamed from gem2gem.awk) | 5 |
2 files changed, 6 insertions, 1 deletions
@@ -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 diff --git a/gem2gem.awk b/gmo2gmi.awk index 528cb0a..b54dae0 100644 --- a/gem2gem.awk +++ b/gmo2gmi.awk @@ -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 } |