2020-10-04 11:37:37 +02:00
|
|
|
#!/usr/bin/env bash
|
2018-05-25 17:44:50 +02:00
|
|
|
|
2020-10-04 12:07:22 +02:00
|
|
|
cd "$(dirname "${BASH_SOURCE[0]}")"
|
|
|
|
|
2018-05-14 21:42:07 +02:00
|
|
|
if ! which hyperfine > /dev/null 2>&1; then
|
|
|
|
echo "'hyperfine' does not seem to be installed."
|
|
|
|
echo "You can get it here: https://github.com/sharkdp/hyperfine"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
echo "### Startup time"
|
|
|
|
echo
|
|
|
|
|
|
|
|
hyperfine --warmup 3 bat
|
|
|
|
|
|
|
|
echo
|
|
|
|
echo "### Plain text"
|
|
|
|
echo
|
|
|
|
|
|
|
|
hyperfine --warmup 3 "bat --language txt --paging=never 'test-src/jquery-3.3.1.js'"
|
|
|
|
|
|
|
|
echo
|
|
|
|
echo "### Time to syntax-highlight large files"
|
|
|
|
echo
|
|
|
|
|
|
|
|
for SRC in test-src/*; do
|
|
|
|
hyperfine --warmup 3 "bat --style=full --color=always --paging=never '$SRC'"
|
|
|
|
done
|