diff options
author | jwinnie <jwinnie@tilde.institute> | 2021-11-29 16:36:51 -0800 |
---|---|---|
committer | jwinnie <jwinnie@tilde.institute> | 2021-11-29 16:36:51 -0800 |
commit | aa13acda2e3e2a0300e582d01e63f30fa0b583e3 (patch) | |
tree | 049e4a4eac937508dcdefbae82a69d08aaccce03 | |
parent | 29606788f53b4e8831d3f812cc379bee804a14d2 (diff) | |
download | gmi2html-aa13acda2e3e2a0300e582d01e63f30fa0b583e3.tar.gz |
Add gmi2htmldir.sh for converting a directory of Gemini files
-rwxr-xr-x | gmi2html.awk | 3 | ||||
-rwxr-xr-x | gmi2htmldir.sh | 35 |
2 files changed, 37 insertions, 1 deletions
diff --git a/gmi2html.awk b/gmi2html.awk index 42334ac..e1850a3 100755 --- a/gmi2html.awk +++ b/gmi2html.awk @@ -1,4 +1,5 @@ -# gmi2html.awk +# +# gmi2html.awk -- AWK script to convert a file from text/gemini to text/html # # Copyright (c) 2021 Rodrigo S. Canibano (dracometallium) # Copyright (c) 2021 Jeremy Potter (jwinnie) diff --git a/gmi2htmldir.sh b/gmi2htmldir.sh new file mode 100755 index 0000000..bdd0234 --- /dev/null +++ b/gmi2htmldir.sh @@ -0,0 +1,35 @@ +# +# gmi2htmldir.sh -- POSIX shell script to convert a folder of Gemini files to HTML files +# +# Copyright (c) 2021 Jeremy Potter (jwinnie) +# +# Permission is hereby granted, free of charge, to any person obtaining a copy of this +# software and associated documentation files (the "Software"), to deal in the Software +# without restriction, including without limitation the rights to use, copy, modify, +# merge, publish, distribute, sublicense, and/or sell copies of the Software, and to +# permit persons to whom the Software is furnished to do so. +# +# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, +# INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A +# PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT +# HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION +# OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE +# SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. +# +# usage: +# $ sh gmi2htmldir.sh <folder> <params> +# +# parameters: +# <folder>: the folder of Gemini files to be converted; the HTML files are outputted +# to the same directory, unless the directory contains the string 'gemini' - +# in that case, the string 'gemini' is replaced with 'html' in the output +# path (this is the recommended approach for separating input and output files) +# <params>: parameters to pass to gmi2html.awk; see gmi2html.awk for more details + +folder=$1 +params=$2 + +for f in $(find $folder -name "*.gmi"); do + HTML_FILENAME=$(echo $f | sed s/gmi/html/g | sed s/gemini/html/g) + awk -f gmi2html -- $params < $f > $HTML_FILENAME +done |