rewind: alias the command to undo This is a step in unifiying rewind and undo and not talk about them as different commands or concepts. If there exists rewind command, that should be an alias of undo and the vice versa. The exact implmentation detail and how the command works etc. is a different thing but there should be just one command.

     1

#!/bin/bash

     2

set -eox pipefail

     3

     4

     5

function compile {

     6

    pandoc \

     7

    -s $1 \

     8

    -o $2 \

     9

    --toc --toc-depth=4 \

    10

    -F pandocfilters/examples/graphviz.py -F mypandocfilters/graphviz-file.py -F mypandocfilters/raw-file.py \

    11

    -t html5 \

    12

    --template standalone.html --variable=template_css:uikit.css

    13

    14

}

    15

    16

compile slides.md index.html