#!/bin/bash # This script is a modified version of the one made by the good `fd` maintainers, # see https://github.com/sharkdp/fd/blob/f227bb2/doc/screencast.sh # Designed to be executed via svg-term from the root directory: # svg-term --command="bash doc/screencast.sh" --out doc/screencast.svg --padding=10 # First copy doc/example in root (and delete it afterward). # Then run this (workaround for https://bugzilla.mozilla.org/show_bug.cgi?id=1677988): # sed -i '' 's/