Clean up libdemo

[?]

Mar 21, 2023, 8:41 PM

55PCHITPTMD3U24DGRF2V5CXZ2TK36XJEMEEMQEWYP5ZFPPMQBOAC

Dependencies

[2] VXZ5QMIE Fix CI
[3] PO6SMI7O Reduce dependency of libdemo on Nix
[4] DIZWRCHF Tweak output
[5] LL6P5FOK Add demonote
[6] JGZ7GBCL Add linting
[7] 7QIEZSZI Add tiv
[8] 52F4Q6CJ Update README
[9] 7AUC4NKI Initial commit
[10] M5U5PAX7 Add wrapper script, improve libdemo
[11] VMUKZQZR Work on 02-nix-build
[12] Q6IC7LVG Tweak libdemo
[13] P34QQPLU Pin shellcheck / pygmentize
[14] VEWJUZLA Fix linter

Change contents

replacement in libdemo/libdemo.sh at line 9

[5.458]→[5.140:159](∅→∅),[5.140]→[5.140:159](∅→∅)

use_colour() {

[5.458]

[5.159]

__libdemo_use_colour() {
replacement in libdemo/libdemo.sh at line 27

[5.617]→[5.617:637](∅→∅)

use_unicode() {

[5.617]

[5.637]

__libdemo_use_unicode() {
replacement in libdemo/libdemo.sh at line 39

[5.900]→[5.35:58](∅→∅)

is_interactive() {

[5.900]

[5.58]

__libdemo_is_interactive() {
replacement in libdemo/libdemo.sh at line 48

[5.918]→[5.185:217](∅→∅),[5.217]→[4.4:155](∅→∅)

if is_interactive; then
local prefix
if use_unicode; then
if use_colour; then
prefix="\e[1;37m[\xE2\x96\xBC]\e[0m"

[5.918]

[4.155]

if __libdemo_is_interactive; then
if __libdemo_use_unicode; then
if __libdemo_use_colour; then
local -r prefix="\e[1;37m[\xE2\x96\xBC]\e[0m"
replacement in libdemo/libdemo.sh at line 53

[4.176]→[4.176:220](∅→∅)

prefix="[\xE2\x86\x93]"

[4.176]

[4.220]

local -r prefix="[\xE2\x86\x93]"
replacement in libdemo/libdemo.sh at line 56

[4.256]→[4.256:338](∅→∅)

if use_colour; then
prefix="\e[1;37m[v]\e[0m"

[4.256]

[4.338]

if __libdemo_use_colour; then
local -r prefix="\e[1;37m[v]\e[0m"
replacement in libdemo/libdemo.sh at line 59

[4.359]→[4.359:392](∅→∅)

prefix="[v]"

[4.359]

[4.392]

local -r prefix="[v]"
edit in libdemo/libdemo.sh at line 76

[5.1042]→[5.1042:1063](∅→∅)

local prefix
edit in libdemo/libdemo.sh at line 78

[4.628]→[4.628:639](∅→∅),[4.639]→[5.1076:1285](∅→∅),[5.1076]→[5.1076:1285](∅→∅),[5.1285]→[2.118:160](∅→∅),[2.160]→[5.1327:1344](∅→∅),[5.1327]→[5.1327:1344](∅→∅),[5.1344]→[2.161:190](∅→∅),[2.190]→[5.1373:1388](∅→∅),[5.1373]→[5.1373:1388](∅→∅)

fi
if use_unicode; then
if use_colour; then
prefix="\e[1;34m[#]\e[0m"
else
prefix="[#]"
fi
else
if use_colour; then
prefix="\e[1;34m[#]\e[0m"
else
prefix="[#]"
fi
replacement in libdemo/libdemo.sh at line 79

[5.1399]→[5.1399:1427](∅→∅)

if use_colour; then

[5.1399]

[5.1427]

if __libdemo_use_colour; then
local -r prefix="\e[1;34m[#]\e[0m"
edit in libdemo/libdemo.sh at line 83

[5.1490]

[5.1490]

local -r prefix="[#]"
edit in libdemo/libdemo.sh at line 94

[5.31]→[5.31:52](∅→∅)

local prefix
replacement in libdemo/libdemo.sh at line 97

[4.727]→[5.65:229](∅→∅),[5.65]→[5.65:229](∅→∅)

if use_unicode; then
if use_colour; then
prefix="\e[1;33m[!]\e[0m"
else
prefix="[!]"
fi

[4.727]

[5.229]

if __libdemo_use_colour; then
local -r prefix="\e[1;33m[!]\e[0m"
replacement in libdemo/libdemo.sh at line 100

[5.242]→[5.242:377](∅→∅)

if use_colour; then
prefix="\e[1;33m[!]\e[0m"
else
prefix="[!]"
fi

[5.242]

[5.377]

local -r prefix="[!]"
replacement in libdemo/libdemo.sh at line 114

[5.1698]→[5.1698:1740](∅→∅)

local prefix
prefix=" "

[5.1698]

[5.1740]

local -r prefix=" "
replacement in libdemo/libdemo.sh at line 127

[4.815]→[5.1870:1952](∅→∅),[5.1870]→[5.1870:1952](∅→∅),[5.1952]→[4.816:869](∅→∅)

local prefix
if use_unicode; then
if use_colour; then
prefix="\e[1;35m[\xE2\x96\xBA]\e[0m"

[4.815]

[5.2005]

if __libdemo_use_unicode; then
if __libdemo_use_colour; then
local -r prefix="\e[1;35m[\xE2\x96\xBA]\e[0m"
replacement in libdemo/libdemo.sh at line 131

[5.2022]→[5.2022:2062](∅→∅)

prefix="[\xE2\x9F\xB6]"

[5.2022]

[5.2062]

local -r prefix="[\xE2\x9F\xB6]"
replacement in libdemo/libdemo.sh at line 134

[5.2090]→[5.2090:2164](∅→∅)

if use_colour; then
prefix="\e[1;35m[>]\e[0m"

[5.2090]

[5.2164]

if __libdemo_use_colour; then
local -r prefix="\e[1;35m[>]\e[0m"
replacement in libdemo/libdemo.sh at line 137

[5.2181]→[5.2181:2210](∅→∅)

prefix="[>]"

[5.2181]

[5.2210]

local -r prefix="[>]"
replacement in libdemo/libdemo.sh at line 141

[5.2237]→[5.2237:2265](∅→∅)

if use_colour; then

[5.2237]

[5.2265]

if __libdemo_use_colour; then
edit in libdemo/libdemo.sh at line 151

[5.2494]→[5.2494:2891](∅→∅)

fi
if use_unicode; then
if use_colour; then
prefix="\e[0;32m[\xE2\x9C\x93]\e[0m"
else
prefix="[\xE2\x9C\x93]"
fi
else
if use_colour; then
prefix="\e[0;32m[+]\e[0m"
else
prefix="[+]"
fi
edit in libdemo/libdemo.sh at line 155

[5.2985]→[5.2985:3263](∅→∅),[5.3263]→[2.191:236](∅→∅),[2.236]→[5.3315:3336](∅→∅),[5.3315]→[5.3315:3336](∅→∅),[5.3336]→[2.237:270](∅→∅),[2.270]→[5.3375:3394](∅→∅),[5.3375]→[5.3375:3394](∅→∅)

fi
if use_unicode; then
if use_colour; then
prefix="\e[0;31m[\xE2\x9C\x97]\e[0m"
else
prefix="[\xE2\x9C\x97]"
fi
else
if use_colour; then
prefix="\e[0;31[x]\e[0m"
else
prefix="[x]"
fi
replacement in libdemo/libdemo.sh at line 162

[5.2151]→[5.400:432](∅→∅)

if is_interactive; then

[5.2151]

[5.2204]

if __libdemo_is_interactive; then
replacement in libdemo/libdemo.sh at line 183

[5.416]→[5.433:465](∅→∅)

if is_interactive; then

[5.416]

[5.2303]

if __libdemo_is_interactive; then
replacement in libdemo/libdemo.sh at line 194

[5.2359]→[5.2359:2387](∅→∅)

if use_colour; then

[5.2359]

[3.7]

if __libdemo_use_colour; then
replacement in libdemo/libdemo.sh at line 199

[3.303]→[3.303:335](∅→∅)

pygmentize "$@"

[3.303]

[3.335]

COLORTERM="" TERM="" pygmentize "$@"
replacement in libdemo/libdemo.sh at line 213

[5.17]→[5.17:45](∅→∅)

if use_colour; then

[5.17]

[5.45]

if __libdemo_use_colour; then