Tweak libdemo
[?]
Mar 21, 2023, 1:32 PM
Q6IC7LVGEFUQ6MM7MIYKBBWUSUG42TCWT6NEUHBH56DVNZACAI6QCDependencies
- [2]
VEWJUZLAFix linter - [3]
JGZ7GBCLAdd linting - [4]
M5U5PAX7Add wrapper script, improve libdemo - [5]
7AUC4NKIInitial commit - [6]
VMUKZQZRWork on 02-nix-build - [7]
VXZ5QMIEFix CI
Change contents
- replacement in bash/libdemo.sh at line 6
prev=__libdemo_prev_output= - edit in bash/libdemo.sh at line 39
is_interactive() {if [ "${LIBDEMO_INTERACTIVE:-1}" = 1 ]; thenreturn 0elsereturn 1fi} - replacement in bash/libdemo.sh at line 48
if [ "${LIBDEMO_INTERACTIVE:-1}" = 1 ]; thenif is_interactive; then - replacement in bash/libdemo.sh at line 78
prev=demoheader__libdemo_prev_output=demoheader - replacement in bash/libdemo.sh at line 86
if [ "${prev}" != demoecho ]; thenif [ "${__libdemo_prev_output}" != demoecho ]; then - replacement in bash/libdemo.sh at line 92
prev=demoecho__libdemo_prev_output=demoecho - edit in bash/libdemo.sh at line 159
# echo -e "${prefix}" - replacement in bash/libdemo.sh at line 160
prev=democmd__libdemo_prev_output=democmd - replacement in bash/libdemo.sh at line 164
if [ "${LIBDEMO_INTERACTIVE:-1}" = 1 ]; thenif is_interactive; then - replacement in bash/libdemo.sh at line 180
if [ "${LIBDEMO_INTERACTIVE:-1}" = 1 ]; thenif is_interactive; then - edit in bash/libdemo.sh at line 183
__libdemo_prev_output=democlear